am a6b22c5b: Verifier allows arguments of integral types to be interchangeable.

* commit 'a6b22c5be364a4ea926bfd2d0ea6169b22bdd10b':
  Verifier allows arguments of integral types to be interchangeable.