WHILE (i < cnt) & (S.GET(src + offs) # p) DO INC(i); INC(src, elemSize) END;

i := 0; done := i >= cnt;
WHILE ~done DO
   S.GET(src + offs, val); done := val = S.VAL(Mem.AddrInt, p);
   IF ~done THEN INC(i); INC(src, elemSize) END
END

GUARD condition ELSE
  ...
  RETURN ...
END

LOOP GUARD c1 DO
  p1;
  GUARD c2 DO
    p2;
  ELSIF c3 DO
    p3;
  END
END END

LOOP
  ...
GUARD condition END

let node sum x y = z where
  present
  | x(v) & y(w) -> do emit z = v + w done
  | x(v1) -> do emit z = v1 done
  | y(v2) -> do emit z = v2 done
  | _ -> do done
  end

PROCEDURE Tree_itemClick(machine, item, event)
BEGIN
  IF event.button = 0 THEN
    VAR
      now := getUnixTime();
    WITH
      lastClick := item.lastClick;
      threshold := now - item.lastClick > DoubleClickThreshold;
      expanding := machine.state = "expanding";
    BEGIN
    | lastClick & threshold:
        item.lastClick = now;
        IF event.ctrlKey THEN
          Tree_ctrlClick(machine, item)
        ELSE
          IF item.leaf THEN
            Tree_singleClick(machine, item, event)
          ELSE
            Tree_clearSelection(machine);
            Tree_selectItem(machine, item);
            Tree_toggleExpand(machine, item, event);
          END   
        END
    | lastClick & expanding:
        machine.postponedDClick = item.id
    | lastClick:
        Tree_doubleClick(machine, item, event)
    ELSE
      (* skip *)
    END
  END
END

LOOP IF c1 THEN
  p1;
  BEGIN
  | c2 & c3 & c4:
      p2; p3
  | c3:
      p4
  ELSE EXIT
  END
ELSE EXIT
END END