1 files changed, 3 insertions, 0 deletions
diff --git a/cgcodep.h b/cgcodep.h
index 407001d..ac343fe 100644
--- a/cgcodep.h
+++ b/cgcodep.h
@@ -142,6 +142,7 @@ void code_ItoR (VOID);
 void code_jmp (char label_name[]);
 void code_jmp_ap (int n_args);
 void code_jmp_ap_upd (int n_args);
+void code_jmp_not_eqZ (char *integer_string,int integer_string_length,char label_name[]);
 void code_jmp_upd (char label_name[]);
 void code_jmp_eval (VOID);
 void code_jmp_eval_upd (VOID);
@@ -243,6 +244,8 @@ void code_push_node (char *label_name,int n_arguments);
 void code_push_node_u (char *label_name,int a_size,int b_size);
 void code_push_r_arg_t (VOID);
 void code_push_r_arg_u (int a_offset,int a_size,int b_size,int a_arg_offset,int a_arg_size,int b_arg_offset,int b_arg_size);
+void code_pushZ (char *integer_string,int length);
+void code_pushZR (int sign,char *integer_string,int integer_string_length,int exponent);
 void code_release (VOID);
 void code_randomP (VOID);
 void code_replace (char element_descriptor[],int a_size,int b_size);