Symbol: write_asm