[]Type Definition skyline::libc::pid_t

type pid_t = i32;