{ %fail }
{$ifdef fpc}
{$mode delphi}
{$endif fpc}

{$ifdef FPC_COMP_IS_INT64}
type 
  comp = double;
{$endif FPC_COMP_IS_INT64}
procedure test(a: cardinal); overload;
  begin
    writeln('cardinal called instead of smallint');
    writeln('XXX')
  end;

procedure test(a: smallint); overload;
  begin
    writeln('smallint called instead of cardinal');
    writeln('YYY')
  end;

var
  v: variant;
  x: cardinal;
  y: smallint;

begin
  try
    v := x;
    test(v);
  except
    on E : TObject do
      writeln('QQQ');
  end;

  try
    v := y;
    test(v);
  except
    on E : TObject do
      writeln('VVV');
  end;
end.