public static Cons serverExtractArguments(Cons bodycontents) {
    { Object old$DefaultXmlObjectModule$000 = XmlObjects.$DEFAULT_XML_OBJECT_MODULE$.get();

      try {
        Native.setSpecial(XmlObjects.$DEFAULT_XML_OBJECT_MODULE$, GuiServer.$GUI_SERVER_MODULE$);
        { Cons rawargs = ((Cons)(bodycontents.rest.rest));
          Cons result = Stella.NIL;

          { Cons arg = null;
            Cons iter000 = rawargs;
            Cons collect000 = null;

            for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
              arg = ((Cons)(iter000.value));
              if (collect000 == null) {
                {
                  collect000 = Cons.cons(XmlObjects.FROM_XML_STRING(((StringWrapper)(arg.rest.rest.value)).wrapperValue), Stella.NIL);
                  if (result == Stella.NIL) {
                    result = collect000;
                  }
                  else {
                    Cons.addConsToEndOfConsList(result, collect000);
                  }
                }
              }
              else {
                {
                  collect000.rest = Cons.cons(XmlObjects.FROM_XML_STRING(((StringWrapper)(arg.rest.rest.value)).wrapperValue), Stella.NIL);
                  collect000 = collect000.rest;
                }
              }
            }
          }
          return (result);
        }

      } finally {
        XmlObjects.$DEFAULT_XML_OBJECT_MODULE$.set(old$DefaultXmlObjectModule$000);
      }
    }
  }