-int get_type_n_pointertypes_to(type *tp);
-type *get_type_pointertype_to(type *tp, int pos);
-void add_type_pointertype_to(type *tp, type *ptp);
+int get_type_n_pointertypes_to(ir_type *tp);
+ir_type *get_type_pointertype_to(ir_type *tp, int pos);
+void add_type_pointertype_to(ir_type *tp, ir_type *ptp);