Updated to use Java imlementations of some bytecodes. Still to consider GC and loop/branch annotations