The integer 0 if the procedure verification setting is off, or the integer 1 if the procedure verification setting is on.