Where does the default VERIFY_STUDENT variable get set?