FWIW it's a good fuzz test for the interpreter ;)