public static Stella_Object inlinableMethodBody(MethodSlot method) {
    { Cons definition = null;
      Stella_Object body = KeyValueList.dynamicSlotValue(method.dynamicSlots, Stella.SYM_STELLA_CACHED_INLINABLE_METHOD_BODY, null);

      if (body == method) {
        return (null);
      }
      if (body != null) {
        return (body);
      }
      definition = ((Cons)(Stella.unstringifyStellaSource(method.methodStringifiedSource, method.homeModule())));
      Cons.extractOptions(definition, null);
      KeyValueList.setDynamicSlotValue(method.dynamicSlots, Stella.SYM_STELLA_CACHED_INLINABLE_METHOD_BODY, method, null);
      if (definition.length() == 4) {
        body = definition.last();
        if (Stella_Object.safePrimaryType(body) == Stella.SGT_STELLA_CONS) {
          { Cons body000 = ((Cons)(body));

            if ((body000.value == Stella.SYM_STELLA_RETURN) &&
                (Stella_Object.verbatimTreeP(body000.rest.value) ||
                 (!Stella_Object.searchConsTreeP(body000, Stella.SYM_STELLA_VERBATIM)))) {
              return (KeyValueList.setDynamicSlotValue(method.dynamicSlots, Stella.SYM_STELLA_CACHED_INLINABLE_METHOD_BODY, Stella_Object.permanentifyForm(body000.rest.value), null));
            }
          }
        }
        else {
        }
      }
      return (null);
    }
  }