Symbol: write_program