#include void user_pre_init() { } void user_init() { } void user_loop() { } void virtual_interrupt_user_callback(int pin, int state) { } void timer_tick_callback() { }