finished bytecode reader (untested)