#include "RCX_RTE.h" void _start(void) { RCX_Reset(); }