Type Definition nc::types::timer_t

type timer_t = i32;