am 5ce6f04f: am 3057d341: am a6b22c5b: Verifier allows arguments of integral types to be interchangeable. * commit '5ce6f04f': Verifier allows arguments of integral types to be interchangeable.