prevented compiler warning in os_dbg.c