(1;when 1 do 5;6)