if a < b then ( x := a; a := b; b := x ) else a := (if c <> 12 then 6 else 7)