Verifying low-end procedure - bug?

Printable View