generate_print_declarations
void generate_print_declarations(FILE *);
generate_print_declarations(Bodyfp);