bytecode
+5253