Type Definition libc::id_t

type id_t = uint32_t;