let ctype_ptr ty = TPtr (ty, [])