Symbol: write_programs