function x(int64) pure { return 102; } function x(int128) pure { return 102; } function x(int128) pure { return 132; }