let
ctype_ptr ty =
TPtr
(ty, [])