add c_int type to line 33. is this a rustc compiler bug that this doesn't compile?