Type Definition libc::register_t

type register_t = i32;