WMLScript Bytecode Translator