(Under construction.)
type MedBool = Boolean (BitSizeOf (MedInt));
program MedBoolDemo; var a: MedBool; begin MedInt (a) := 1; if a then WriteLn ('Ord (True) = 1') end.