static Cons explodeStringList(String stringlist, Module module) {
    { Object old$Module$000 = Stella.$MODULE$.get();
      Object old$Context$000 = Stella.$CONTEXT$.get();

      try {
        Native.setSpecial(Stella.$MODULE$, module);
        Native.setSpecial(Stella.$CONTEXT$, ((Module)(Stella.$MODULE$.get())));
        { Cons expression = ((Cons)(Stella.readSExpressionFromString(stringlist)));
          Stella_Object term = null;
          Cons result = Stella.NIL;

          { Stella_Object ref = null;
            Cons iter000 = expression;
            Cons collect000 = null;

            for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
              ref = iter000.value;
              term = ((ref == Logic.SYM_STELLA_NULL) ? null : Logic.evaluateTerm(ref));
              if (collect000 == null) {
                {
                  collect000 = Cons.cons(term, Stella.NIL);
                  if (result == Stella.NIL) {
                    result = collect000;
                  }
                  else {
                    Cons.addConsToEndOfConsList(result, collect000);
                  }
                }
              }
              else {
                {
                  collect000.rest = Cons.cons(term, Stella.NIL);
                  collect000 = collect000.rest;
                }
              }
            }
          }
          return (result);
        }

      } finally {
        Stella.$CONTEXT$.set(old$Context$000);
        Stella.$MODULE$.set(old$Module$000);
      }
    }
  }