public static Stella_Object permanentifyForm(Stella_Object form) {
    { Surrogate testValue000 = Stella_Object.safePrimaryType(form);

      if (Surrogate.subtypeOfSymbolP(testValue000)) {
        { Symbol form000 = ((Symbol)(form));

          if (form000 == Stella.SYM_STELLA_TRUE) {
            return (form000);
          }
          else if (form000 == Stella.SYM_STELLA_FALSE) {
            return (form000);
          }
          else {
            return (((Symbol)(form000.permanentify())));
          }
        }
      }
      else if (testValue000 == Stella.SGT_STELLA_CONS) {
        { Cons form000 = ((Cons)(form));

          return (Stella_Object.permanentCopy(form000));
        }
      }
      else {
        return (form.permanentify());
      }
    }
  }