Fixes to make user 001 work better

This isn't a solved problem yet, but fuzzing user 001 now runs the whole way through, even the output is wrong.