fix probable bug in unverified bytecode decoder