+ n : INTEGER; n := 3; n .when 2 then { "n is 2\n".print; } .when 3 then { "n is 3\n".print; } .when 4 then { "n is 4\n".print; };