Type Definition CCODE::tagPOINTER_DEVICE_TYPE

type tagPOINTER_DEVICE_TYPE = c_int;