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);
}