int -> C.int