#include "CCRXmachine.h" void _CALL_INIT(void) { } void _CALL_END(void) { } void _INITSCT(void) { }