bad3.err result matches actual