begin
   comment 'LIBRARY' 1;
   boolean
     B;
   B ≔ ¬ true;
   B ≔ ¬ ( ¬ B);
   B ≔ ¬ ¬ B;
   OUTREAL(99, if B then 0 else 1)
end