text: var classCmdArgs =
  [
      [ "init", "d4/db5/classCmdArgs.html#a3fd31aa2b40ac679b9fea9fd8dd001be", null ],
      [ "read_args", "d4/db5/classCmdArgs.html#a5e7aba3b1c395d626792d04f291c997f", null ],
      [ "filename", "d4/db5/classCmdArgs.html#aec95732064204c3bbcb964228ad77844", null ],
      [ "read_bytecode", "d4/db5/classCmdArgs.html#ab3be08d37699484c85778f2bc91ef51d", null ]
  ];