Added __VERIFIER_nondet_pointer.