public static Stella_Object clTranslateVerbatimBodySymbols(Stella_Object body, List parameters) {
    { Surrogate testValue000 = Stella_Object.safePrimaryType(body);

      if (testValue000 == Stella.SGT_STELLA_CONS) {
        { Cons body000 = ((Cons)(body));

          if (!(body000 == Stella.NIL)) {
            return (Cons.cons(Stella_Object.clTranslateVerbatimBodySymbols(body000.value, parameters), ((Cons)(Stella_Object.clTranslateVerbatimBodySymbols(body000.rest, parameters)))));
          }
          else {
            return (Stella.NIL);
          }
        }
      }
      else if (Surrogate.subtypeOfSymbolP(testValue000)) {
        { Symbol body000 = ((Symbol)(body));

          if (parameters.memberP(body000)) {
            return (Symbol.clTranslateLocalSymbol(body000));
          }
          else {
            return (Symbol.clTranslateGlobalSymbol(body000));
          }
        }
      }
      else {
        return (body);
      }
    }
  }