+#define pns_initial_exec pn_Start_X_initial_exec
+#define pns_global_store pn_Start_M
+#define pns_frame_base pn_Start_P_frame_base
+#define pns_args pn_Start_T_args
+#define pns_value_arg_base pn_Start_P_value_arg_base
+
+#define pnc_number pn_Cmp
+#define False pn_Cmp_False
+#define Eq pn_Cmp_Eq
+#define Lt pn_Cmp_Lt
+#define Le pn_Cmp_Le
+#define Gt pn_Cmp_Gt
+#define Ge pn_Cmp_Ge
+#define Lg pn_Cmp_Lg
+#define Leg pn_Cmp_Leg
+#define Uo pn_Cmp_Uo
+#define Ue pn_Cmp_Ue
+#define Ul pn_Cmp_Ul
+#define Ule pn_Cmp_Ule
+#define Ug pn_Cmp_Ug
+#define Uge pn_Cmp_Uge
+#define Ne pn_Cmp_Ne
+#define True pn_Cmp_True