#include const oskit_iid_t oskit_osenv_sleep_iid = OSKIT_OSENV_SLEEP_IID;