printf(".globl %s\n",label);
if (symbol_prefix_char) printf(".globl %c%s\n", symbol_prefix_char, label); else printf(".globl %s\n", label);
static void output_label(char *label){	printf(".globl %s\n",label);	printf("\tALGN\n");	printf("%s:\n",label);}