begin
   switch S ≔ 1,S2,Q[2], if v>-5 then S3 else S4;
   switch Q ≔ 1,w
end;