Whiley methods are invoked without casting the input parameters, because
Constant are Java objects.