Plan 9 from Bell Labs’s /usr/web/sources/patch/applied/mpfact-ineq/readme
max > nelem(stk) is wrong. should be >=; change to assert.