altered verify_supmax to use array pointers