#include "TemplateDevice_Time.h"

void TemplateDevice_Time_sleep_ms(PikaObj *self, int ms){

}
void TemplateDevice_Time_sleep_s(PikaObj *self, int s){

}