Testing the unverified bytecode machine.