Fixes a minor issues related to the fact that VERIFIER_nondet_int is a variable argument function since it is declared as extern.