print.c: extract out ppcg_print_declaration