BGE_WATCHDOG_TIMEOUT
#ifndef BGE_WATCHDOG_TIMEOUT
static int bge_watchdog_timeout = BGE_WATCHDOG_TIMEOUT;