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