procedure main(arg) every write( !arg ) end