(Under construction.)
type ShortBool = Boolean (BitSizeOf (ShortInt));
program ShortBoolDemo; var a: ShortBool; begin ShortInt (a) := 1; if a then WriteLn ('Ord (True) = 1') end.