MODULE test; VAR b : BOOLEAN; i : INTEGER; BEGIN b := FALSE; i := ORD(b); END test.