modstamp verification test works
test handles exception correctly; add test for non-exception case
set-level readers get modstamp
default modstamp to 0 in readers