procedure main()
every|writes(map(12,21,reads(,2)))
end