(Under construction.)
type ByteBool = Boolean (BitSizeOf (Byte));
program ByteBoolDemo; var a: ByteBool; begin Byte (a) := 1; if a then WriteLn ('Ord (True) = 1') end.