write_line
write_line("\t.globl ");
write_line("\t/* ");
write_line("\t.string \"");
write_line("\"\n");
write_line("\t.balign 4\n");
write_line("\t.balign 8\n");
void write_line(const char *c);