mostly random tweaks towards getting wrong-code auto-reduce to work