begin
switch
x(1:4) ->x(3) x(1): x(2): x(4): printstring(
"OK"
);newline
endofprogram