static void sendMessage(X10LightDriver self) { explodesInTestEnvironment(self); }
void AcmeWirelessLightDriver_TurnOff(LightDriver super) { explodesInTestEnvironment(super); }
static void formatTurnOffMessage(X10LightDriver self) { explodesInTestEnvironment(self); }
int TimeService_GetDay(void) { /* OS dependent get day */ explodesInTestEnvironment(0); return 0; }
int TimeService_GetMinute(void) { /* OS dependent get minute */ explodesInTestEnvironment(0); return 0; }
void TimeService_Destroyvoid(void) { /* OS dependent cleanup */ explodesInTestEnvironment(0); }
void TimeService_Create(void) { /* OS dependent init */ explodesInTestEnvironment(0); }
static void turnOff(LightDriver super) { AcmeWirelessLightDriver self = (AcmeWirelessLightDriver)super; explodesInTestEnvironment(self); }