public static Stella_Object javaTranslateBadSys(Cons tree) {
    return (Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_VERBATIM, Cons.cons(StringWrapper.wrapString("*** TRANSLATION FAILURE FROM " + Native.stringify(tree.rest.value)), Cons.cons(Stella.NIL, Stella.NIL)))));
  }