let
mk_ctype_ptr ty = mk_ctype (ctype_ptr ty)