strong typing of class bytecode