Section Header

    + name := BAD_REFLEX;

    - comment := "Facility, but it's not in prototype spirit.";

Section Public

Conditional.


    - if cond:BOOLEAN then true_block:BLOCK :BOOLEAN <-

    - if cond:BOOLEAN then true_block:BLOCK else false_block:BLOCK <-

Loop.


    - while cond:BLOCK do body:BLOCK <-

    - do body:BLOCK while cond:BLOCK <-

    - repeat body:BLOCK until cond:BLOCK <-