function Ord1(a: char): integer := 2;
function Ord1(a: integer): boolean := False;

begin
  Assert(|1,2,3,4|.Select(Ord1).First = False)
end.