void sfSleep_helper (sfTime* duration) { sfSleep (*duration); }
void TCOD_sys_sleep_milli(uint32 milliseconds) { sfSleep((float)(milliseconds)/1000.0f); }