Type Definition CCODE::tagREGKIND

type tagREGKIND = c_int;