bytecode for CastDemo.java