public static Cons cppLookupOperatorTable(Symbol operator) {
    { Cons entry = ((Cons)(Stella.$OPERATOR_TABLE$.lookup(operator)));
      Cons copiedentry = Stella.NIL;

      if (entry != null) {
        { StringWrapper wrapper = null;
          Cons iter000 = entry;
          Cons collect000 = null;

          for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
            wrapper = ((StringWrapper)(iter000.value));
            if (collect000 == null) {
              {
                collect000 = Cons.cons(StringWrapper.wrapString(wrapper.wrapperValue), Stella.NIL);
                if (copiedentry == Stella.NIL) {
                  copiedentry = collect000;
                }
                else {
                  Cons.addConsToEndOfConsList(copiedentry, collect000);
                }
              }
            }
            else {
              {
                collect000.rest = Cons.cons(StringWrapper.wrapString(wrapper.wrapperValue), Stella.NIL);
                collect000 = collect000.rest;
              }
            }
          }
        }
        return (copiedentry);
      }
      return (null);
    }
  }