public static Cons synthesizeMethodBody(MethodSlot method) {
    if (((Stella_Class)(Stella.SGT_STELLA_BOOLEAN.surrogateValue)) == null) {
      return (Stella.NIL);
    }
    { Symbol storageslotname = ((Symbol)(KeyValueList.dynamicSlotValue(method.dynamicSlots, Stella.SYM_STELLA_STORAGE_SLOT, null)));
      Symbol inheritanceslotname = ((Symbol)(KeyValueList.dynamicSlotValue(method.dynamicSlots, Stella.SYM_STELLA_METHOD_INHERITS_THROUGH, null)));
      StorageSlot storageslot = null;
      Slot inheritanceslot = null;
      Stella_Object defaultvalue = null;

      if (inheritanceslotname == Stella.SYM_STELLA_SUPER_CLASSES) {
        inheritanceslotname = Stella.SYM_STELLA_CLASS_ALL_SUPER_CLASSES;
      }
      else if (inheritanceslotname == Stella.SYM_STELLA_EQUIVALENT_SLOT) {
        inheritanceslotname = Stella.SYM_STELLA_SLOT_DIRECT_EQUIVALENT;
      }
      else {
      }
      storageslot = ((StorageSlot)(Stella_Class.lookupSlot(((Stella_Class)(method.slotOwner.surrogateValue)), storageslotname)));
      if (storageslot == null) {
        Stella.STANDARD_WARNING.nativeStream.println("Warning: :storage-slot references non-existent slot `" + storageslotname + "' on the class `" + method.slotOwner + "'");
        return (Stella.NIL);
      }
      inheritanceslot = Stella_Class.lookupSlot(((Stella_Class)(method.slotOwner.surrogateValue)), inheritanceslotname);
      if (inheritanceslot == null) {
        Stella.STANDARD_WARNING.nativeStream.println("Warning: :inherits-through references non-existent slot `" + inheritanceslotname + "' on the class `" + method.slotOwner + "'");
        return (Stella.NIL);
      }
      defaultvalue = storageslot.systemDefaultValue();
      return (Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_LET, Cons.cons(Cons.list$(Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_CURSOR, Cons.cons(Stella.SYM_STELLA_SELF, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_VALUE, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_SLOT_VALUE, Cons.cons(Stella.SYM_STELLA_CURSOR, Cons.cons(storageslotname, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_LOOP, Cons.cons(Cons.cons(Stella.SYM_STELLA_WHEN, ((Surrogate.subtypeOfP(storageslot.type(), Stella.SGT_STELLA_BOOLEAN) ? Cons.cons(Stella.SYM_STELLA_VALUE, Stella.NIL) : Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_DEFINEDp, Cons.cons(Stella.SYM_STELLA_VALUE, Cons.cons(Stella.NIL, Stella.NIL)))), Stella.NIL))).concatenate(Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_RETURN, Cons.cons(Stella.SYM_STELLA_VALUE, Cons.cons(Stella.NIL, Stella.NIL)))), Stella.NIL), Stella.NIL)), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_SETQ, Cons.cons(Stella.SYM_STELLA_CURSOR, Cons.cons(((Surrogate.subtypeOfP(inheritanceslot.type(), Stella.SGT_STELLA_COLLECTION) ||
          Surrogate.subtypeOfP(inheritanceslot.type(), Stella.SGT_STELLA_CONS)) ? Cons.list$(Cons.cons(Stella.SYM_STELLA_FIRST, Cons.cons(Cons.cons(inheritanceslotname, Cons.cons(Stella.SYM_STELLA_CURSOR, Stella.NIL)), Cons.cons(Stella.NIL, Stella.NIL)))) : Cons.cons(inheritanceslotname, Cons.cons(Stella.SYM_STELLA_CURSOR, Stella.NIL))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_IF, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_DEFINEDp, Cons.cons(Stella.SYM_STELLA_CURSOR, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_SETQ, Cons.cons(Stella.SYM_STELLA_VALUE, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_SLOT_VALUE, Cons.cons(Stella.SYM_STELLA_CURSOR, Cons.cons(storageslotname, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_RETURN, Cons.cons(((defaultvalue != null) ? defaultvalue : Stella.SYM_STELLA_NULL), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))))), Cons.cons(Stella.NIL, Stella.NIL)))))), Cons.cons(Stella.NIL, Stella.NIL))))), Stella.NIL));
    }
  }