pub type __guest_handle_const_sched_watchdog_t = *const sched_watchdog_t;