MERCURY_OPTIONS=
gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/tests/valid'
{ echo MCFLAGS += '--grade java    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs  --optimise-higher-order --inline-single-use  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/stage2/runtime/mer_rt.init    '; echo MLLIBS += '   '; echo MLOBJS += '  '; echo LDFLAGS += '  '; echo LD_LIBFLAGS += '  '; echo EXTRA_LIBRARIES += ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'hlc.gc  '; echo INSTALL_PREFIX = '/home/mercury/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/stage2/scripts/mmc --make --options-file - bug142.depend
gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/tests/valid'
gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/tests/valid'
{ echo MCFLAGS += '--grade java    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs  --optimise-higher-order --inline-single-use  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/stage2/runtime/mer_rt.init    '; echo MLLIBS += '   '; echo MLOBJS += '  '; echo LDFLAGS += '  '; echo LD_LIBFLAGS += '  '; echo EXTRA_LIBRARIES += ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'hlc.gc  '; echo INSTALL_PREFIX = '/home/mercury/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/stage2/scripts/mmc --make --options-file - bug142.class
Making Mercury/int3s/bug142.int3
Making Mercury/ints/bug142.int
Making Mercury/javas/jmercury/bug142.java
Making Mercury/classes/jmercury/bug142.class
Mercury/javas/jmercury/bug142.java:15: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct bug142__pti_r_1__pseudo_1 = new jmercury.runtime.TypeInfo_Struct();
                                       ^
Mercury/javas/jmercury/bug142.java:16: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct __vpti_pred_3__pseudo_bug142__pti_r_1__pseudo_1__pseudo_2__pseudo_2 = new jmercury.runtime.TypeInfo_Struct();
                                       ^
Mercury/javas/jmercury/bug142.java:17: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeCtorInfo_Struct bug142__type_ctor_info_dcg_2 = new jmercury.runtime.TypeCtorInfo_Struct();
                                      ^
Mercury/javas/jmercury/bug142.java:18: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.PseudoTypeInfo[] bug142__field_types_r_1_0 = new jmercury.runtime.PseudoTypeInfo[1];
                                       ^
Mercury/javas/jmercury/bug142.java:19: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc bug142__du_functor_desc_r_1_0 = new jmercury.runtime.DuFunctorDesc();
                                       ^
Mercury/javas/jmercury/bug142.java:20: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc bug142__du_functor_desc_r_1_1 = new jmercury.runtime.DuFunctorDesc();
                                       ^
Mercury/javas/jmercury/bug142.java:21: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc[] bug142__du_stag_ordered_r_1_0 = new jmercury.runtime.DuFunctorDesc[2];
                                       ^
Mercury/javas/jmercury/bug142.java:22: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuPtagLayout[] bug142__du_ptag_ordered_r_1 = new jmercury.runtime.DuPtagLayout[1];
                                       ^
Mercury/javas/jmercury/bug142.java:23: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc[] bug142__du_name_ordered_r_1 = new jmercury.runtime.DuFunctorDesc[2];
                                       ^
Mercury/javas/jmercury/bug142.java:25: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeCtorInfo_Struct bug142__type_ctor_info_r_1 = new jmercury.runtime.TypeCtorInfo_Struct();
                                      ^
Mercury/javas/jmercury/bug142.java:27: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeClassId bug142__type_class_id_dcg_2 = new jmercury.runtime.TypeClassId();
                                       ^
Mercury/javas/jmercury/bug142.java:28: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeClassDeclStruct bug142__type_class_decl_dcg_2 = new jmercury.runtime.TypeClassDeclStruct();
                                      ^
Mercury/javas/jmercury/bug142.java:623: error: package jmercury.runtime does not exist 
    implements jmercury.runtime.MercuryType
                               ^
Mercury/javas/jmercury/bug142.java:201: error: package jmercury.runtime does not exist 
    jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_17,
                    ^
Mercury/javas/jmercury/bug142.java:250: error: package jmercury.runtime does not exist 
    jmercury.runtime.TypeInfo_Struct Var_18,
                    ^
Mercury/javas/jmercury/bug142.java:254: error: package jmercury.runtime does not exist 
    jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_17,
                    ^
Mercury/javas/jmercury/bug142.java:300: error: package jmercury.runtime does not exist 
    jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_15,
                    ^
Mercury/javas/jmercury/bug142.java:357: error: package jmercury.runtime does not exist 
    jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_4,
                    ^
Mercury/javas/jmercury/bug142.java:358: error: package jmercury.runtime does not exist 
    jmercury.runtime.TypeInfo_Struct TypeInfo_for_State_5,
                    ^
Mercury/javas/jmercury/bug142.java:355: error: package builtin does not exist 
  public static builtin.Comparison_result_0
                       ^
Mercury/javas/jmercury/bug142.java:389: error: package jmercury.runtime does not exist 
    jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_8,
                    ^
Mercury/javas/jmercury/bug142.java:387: error: package builtin does not exist 
  public static builtin.Comparison_result_0
                       ^
Mercury/javas/jmercury/bug142.java:440: error: package jmercury.runtime does not exist 
    jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_3,
                    ^
Mercury/javas/jmercury/bug142.java:441: error: package jmercury.runtime does not exist 
    jmercury.runtime.TypeInfo_Struct TypeInfo_for_State_4,
                    ^
Mercury/javas/jmercury/bug142.java:470: error: package jmercury.runtime does not exist 
    jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_7,
                    ^
Mercury/javas/jmercury/bug142.java:517: error: package jmercury.runtime does not exist 
    implements jmercury.runtime.MethodPtr2
                               ^
Mercury/javas/jmercury/bug142.java:536: error: package jmercury.runtime does not exist 
    implements jmercury.runtime.MethodPtr3
                               ^
Mercury/javas/jmercury/bug142.java:579: error: package jmercury.runtime does not exist 
    implements jmercury.runtime.MethodPtr4
                               ^
Mercury/javas/jmercury/bug142.java:15: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct bug142__pti_r_1__pseudo_1 = new jmercury.runtime.TypeInfo_Struct();
                                                                                                        ^
Mercury/javas/jmercury/bug142.java:16: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct __vpti_pred_3__pseudo_bug142__pti_r_1__pseudo_1__pseudo_2__pseudo_2 = new jmercury.runtime.TypeInfo_Struct();
                                                                                                                                                  ^
Mercury/javas/jmercury/bug142.java:17: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeCtorInfo_Struct bug142__type_ctor_info_dcg_2 = new jmercury.runtime.TypeCtorInfo_Struct();
                                                                                                              ^
Mercury/javas/jmercury/bug142.java:18: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.PseudoTypeInfo[] bug142__field_types_r_1_0 = new jmercury.runtime.PseudoTypeInfo[1];
                                                                                                         ^
Mercury/javas/jmercury/bug142.java:19: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc bug142__du_functor_desc_r_1_0 = new jmercury.runtime.DuFunctorDesc();
                                                                                                          ^
Mercury/javas/jmercury/bug142.java:20: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc bug142__du_functor_desc_r_1_1 = new jmercury.runtime.DuFunctorDesc();
                                                                                                          ^
Mercury/javas/jmercury/bug142.java:21: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc[] bug142__du_stag_ordered_r_1_0 = new jmercury.runtime.DuFunctorDesc[2];
                                                                                                            ^
Mercury/javas/jmercury/bug142.java:22: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuPtagLayout[] bug142__du_ptag_ordered_r_1 = new jmercury.runtime.DuPtagLayout[1];
                                                                                                         ^
Mercury/javas/jmercury/bug142.java:23: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc[] bug142__du_name_ordered_r_1 = new jmercury.runtime.DuFunctorDesc[2];
                                                                                                          ^
Mercury/javas/jmercury/bug142.java:25: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeCtorInfo_Struct bug142__type_ctor_info_r_1 = new jmercury.runtime.TypeCtorInfo_Struct();
                                                                                                            ^
Mercury/javas/jmercury/bug142.java:27: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeClassId bug142__type_class_id_dcg_2 = new jmercury.runtime.TypeClassId();
                                                                                                      ^
Mercury/javas/jmercury/bug142.java:28: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeClassDeclStruct bug142__type_class_decl_dcg_2 = new jmercury.runtime.TypeClassDeclStruct();
                                                                                                               ^
Mercury/javas/jmercury/bug142.java:33: error: package jmercury.runtime does not exist 
      jmercury.runtime.PseudoTypeInfo.K1;
                      ^
Mercury/javas/jmercury/bug142.java:38: error: cannot find symbol 
      private_builtin.MR_SECTAG_REMOTE_FULL_WORD,
      ^
  symbol:   variable private_builtin
  location: class bug142
Mercury/javas/jmercury/bug142.java:46: error: cannot find symbol 
      private_builtin.MR_FUNCTOR_SUBTYPE_NONE,
      ^
  symbol:   variable private_builtin
  location: class bug142
Mercury/javas/jmercury/bug142.java:53: error: cannot find symbol 
      private_builtin.MR_SECTAG_REMOTE_FULL_WORD,
      ^
  symbol:   variable private_builtin
  location: class bug142
Mercury/javas/jmercury/bug142.java:61: error: cannot find symbol 
      private_builtin.MR_FUNCTOR_SUBTYPE_NONE,
      ^
  symbol:   variable private_builtin
  location: class bug142
Mercury/javas/jmercury/bug142.java:69: error: package jmercury.runtime does not exist 
      new jmercury.runtime.DuPtagLayout(
                          ^
Mercury/javas/jmercury/bug142.java:71: error: cannot find symbol 
        private_builtin.MR_SECTAG_REMOTE_FULL_WORD,
        ^
  symbol:   variable private_builtin
  location: class bug142
Mercury/javas/jmercury/bug142.java:89: error: package jmercury.runtime does not exist 
      jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_DU,
                      ^
Mercury/javas/jmercury/bug142.java:94: error: package jmercury.runtime does not exist 
      new jmercury.runtime.TypeFunctors(
                          ^
Mercury/javas/jmercury/bug142.java:97: error: package jmercury.runtime does not exist 
      new jmercury.runtime.TypeLayout(
                          ^
Mercury/javas/jmercury/bug142.java:108: error: package jmercury.runtime does not exist 
        jmercury.runtime.PseudoTypeInfo.K1
                        ^
Mercury/javas/jmercury/bug142.java:112: error: cannot find symbol 
      builtin.builtin__type_ctor_info_pred_0,
      ^
  symbol:   variable builtin
  location: class bug142
Mercury/javas/jmercury/bug142.java:114: error: package jmercury.runtime does not exist 
        (jmercury.runtime.PseudoTypeInfo) bug142.bug142__pti_r_1__pseudo_1,
                         ^
Mercury/javas/jmercury/bug142.java:115: error: package jmercury.runtime does not exist 
        jmercury.runtime.PseudoTypeInfo.K2,
                        ^
Mercury/javas/jmercury/bug142.java:116: error: package jmercury.runtime does not exist 
        jmercury.runtime.PseudoTypeInfo.K2
                        ^
Mercury/javas/jmercury/bug142.java:123: error: package jmercury.runtime does not exist 
      jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_EQUIV,
                      ^
Mercury/javas/jmercury/bug142.java:128: error: package jmercury.runtime does not exist 
      new jmercury.runtime.TypeFunctors(
                          ^
Mercury/javas/jmercury/bug142.java:131: error: package jmercury.runtime does not exist 
      new jmercury.runtime.TypeLayout(
                          ^
Mercury/javas/jmercury/bug142.java:132: error: package jmercury.runtime does not exist 
        (jmercury.runtime.PseudoTypeInfo) bug142.__vpti_pred_3__pseudo_bug142__pti_r_1__pseudo_1__pseudo_2__pseudo_2
                         ^
Mercury/javas/jmercury/bug142.java:183: error: cannot find symbol 
        ((java.lang.Object) (private_builtin.private_builtin__type_ctor_info_type_info_0)),
                             ^
  symbol:   variable private_builtin
  location: class bug142
Mercury/javas/jmercury/bug142.java:183: error: illegal start of type 
        ((java.lang.Object) (private_builtin.private_builtin__type_ctor_info_type_info_0)),
                            ^
Mercury/javas/jmercury/bug142.java:184: error: cannot find symbol 
        ((java.lang.Object) (private_builtin.private_builtin__type_ctor_info_typeclass_info_0)),
                             ^
  symbol:   variable private_builtin
  location: class bug142
Mercury/javas/jmercury/bug142.java:184: error: illegal start of type 
        ((java.lang.Object) (private_builtin.private_builtin__type_ctor_info_typeclass_info_0)),
                            ^
Mercury/javas/jmercury/bug142.java:211: error: package jmercury.runtime does not exist 
    jmercury.runtime.MethodPtr func_0 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) PA_6)[1]);
                    ^
Mercury/javas/jmercury/bug142.java:211: error: package jmercury.runtime does not exist 
    jmercury.runtime.MethodPtr func_0 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) PA_6)[1]);
                                                          ^
Mercury/javas/jmercury/bug142.java:215: error: package jmercury.runtime does not exist 
      java.lang.Object [] result = ((java.lang.Object[]) ((jmercury.runtime.MethodPtr2) func_0).call___0_0(((java.lang.Object) (((/* generic_type */ java.lang.Object) PA_6))), ((java.lang.Object) (S0_9))));
                                                                           ^
Mercury/javas/jmercury/bug142.java:223: error: package jmercury.runtime does not exist 
      jmercury.runtime.MethodPtr func_2 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) PB_7)[1]);
                      ^
Mercury/javas/jmercury/bug142.java:223: error: package jmercury.runtime does not exist 
      jmercury.runtime.MethodPtr func_2 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) PB_7)[1]);
                                                            ^
Mercury/javas/jmercury/bug142.java:227: error: package jmercury.runtime does not exist 
        java.lang.Object [] result = ((java.lang.Object[]) ((jmercury.runtime.MethodPtr2) func_2).call___0_0(((java.lang.Object) (((/* generic_type */ java.lang.Object) PB_7))), ((java.lang.Object) (S0_9))));
                                                                             ^
Mercury/javas/jmercury/bug142.java:273: error: package jmercury.runtime does not exist 
      jmercury.runtime.MethodPtr func_0 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) PB_7)[1]);
                      ^
Mercury/javas/jmercury/bug142.java:273: error: package jmercury.runtime does not exist 
      jmercury.runtime.MethodPtr func_0 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) PB_7)[1]);
                                                            ^
Mercury/javas/jmercury/bug142.java:277: error: package jmercury.runtime does not exist 
        java.lang.Object [] result = ((java.lang.Object[]) ((jmercury.runtime.MethodPtr2) func_0).call___0_0(((java.lang.Object) (((/* generic_type */ java.lang.Object) PB_7))), ((java.lang.Object) (S0_9))));
                                                                             ^
Mercury/javas/jmercury/bug142.java:344: error: package jmercury.runtime does not exist 
      java.lang.Object [] result = bug142.or_5_p_0(((jmercury.runtime.TypeInfo_Struct) ((java.lang.Object[]) closure)[3]), ((/* typeclass_info */ java.lang.Object[]) ((java.lang.Object[]) closure)[4]), ((/* closure */ java.lang.Object[]) ((java.lang.Object[]) closure)[5]), ((/* closure */ java.lang.Object[]) ((java.lang.Object[]) closure)[6]), wrapper_arg_2);
                                                                     ^
Mercury/javas/jmercury/bug142.java:362: error: package builtin does not exist 
    builtin.Comparison_result_0 HeadVar__1_1 = null;
           ^
Mercury/javas/jmercury/bug142.java:365: error: cannot find symbol 
      HeadVar__1_1 = private_builtin.builtin_compare_pred_3_p_0((/* closure */ java.lang.Object[]) HeadVar__2_2, (/* closure */ java.lang.Object[]) HeadVar__3_3);
                     ^
  symbol:   variable private_builtin
  location: class bug142
Mercury/javas/jmercury/bug142.java:378: error: package builtin does not exist 
    builtin.Comparison_result_0 conv0_HeadVar__1_1 = null;
           ^
Mercury/javas/jmercury/bug142.java:381: error: package jmercury.runtime does not exist 
      conv0_HeadVar__1_1 = bug142.__Compare____dcg_2_0(((jmercury.runtime.TypeInfo_Struct) wrapper_arg_1), ((jmercury.runtime.TypeInfo_Struct) wrapper_arg_2), ((/* closure */ java.lang.Object[]) wrapper_arg_4), ((/* closure */ java.lang.Object[]) wrapper_arg_5));
                                                                         ^
Mercury/javas/jmercury/bug142.java:381: error: package jmercury.runtime does not exist 
      conv0_HeadVar__1_1 = bug142.__Compare____dcg_2_0(((jmercury.runtime.TypeInfo_Struct) wrapper_arg_1), ((jmercury.runtime.TypeInfo_Struct) wrapper_arg_2), ((/* closure */ java.lang.Object[]) wrapper_arg_4), ((/* closure */ java.lang.Object[]) wrapper_arg_5));
                                                                                                                             ^
Mercury/javas/jmercury/bug142.java:394: error: package builtin does not exist 
    builtin.Comparison_result_0 HeadVar__1_1 = null;
           ^
Mercury/javas/jmercury/bug142.java:400: error: package builtin does not exist 
      HeadVar__1_1 = builtin.Comparison_result_0.K0;
                            ^
Mercury/javas/jmercury/bug142.java:404: error: package builtin does not exist 
          HeadVar__1_1 = builtin.Comparison_result_0.K0;
                                ^
Mercury/javas/jmercury/bug142.java:406: error: package builtin does not exist 
          HeadVar__1_1 = builtin.Comparison_result_0.K2;
                                ^
Mercury/javas/jmercury/bug142.java:409: error: package builtin does not exist 
          HeadVar__1_1 = builtin.Comparison_result_0.K1;
                                ^
Mercury/javas/jmercury/bug142.java:416: error: cannot find symbol 
            HeadVar__1_1 = builtin.compare_3_p_0(TypeInfo_for_T_8, ArgX1_4, ArgY1_5);
                           ^
  symbol:   variable builtin
  location: class bug142
Mercury/javas/jmercury/bug142.java:429: error: package builtin does not exist 
    builtin.Comparison_result_0 conv0_HeadVar__1_1 = null;
           ^
Mercury/javas/jmercury/bug142.java:432: error: package jmercury.runtime does not exist 
      conv0_HeadVar__1_1 = bug142.__Compare____r_1_0(((jmercury.runtime.TypeInfo_Struct) wrapper_arg_1), ((bug142.R_1) wrapper_arg_3), ((bug142.R_1) wrapper_arg_4));
                                                                       ^
Mercury/javas/jmercury/bug142.java:448: error: cannot find symbol 
      succeeded = private_builtin.builtin_unify_pred_2_p_0((/* closure */ java.lang.Object[]) HeadVar__1_1, (/* closure */ java.lang.Object[]) HeadVar__2_2);
                  ^
  symbol:   variable private_builtin
  location: class bug142
Mercury/javas/jmercury/bug142.java:463: error: package jmercury.runtime does not exist 
      succeeded = bug142.__Unify____dcg_2_0(((jmercury.runtime.TypeInfo_Struct) wrapper_arg_1), ((jmercury.runtime.TypeInfo_Struct) wrapper_arg_2), ((/* closure */ java.lang.Object[]) wrapper_arg_3), ((/* closure */ java.lang.Object[]) wrapper_arg_4));
                                                              ^
Mercury/javas/jmercury/bug142.java:463: error: package jmercury.runtime does not exist 
      succeeded = bug142.__Unify____dcg_2_0(((jmercury.runtime.TypeInfo_Struct) wrapper_arg_1), ((jmercury.runtime.TypeInfo_Struct) wrapper_arg_2), ((/* closure */ java.lang.Object[]) wrapper_arg_3), ((/* closure */ java.lang.Object[]) wrapper_arg_4));
                                                                                                                  ^
Mercury/javas/jmercury/bug142.java:494: error: cannot find symbol 
            succeeded = builtin.unify_2_p_0(TypeInfo_for_T_7, ArgX1_3, ArgY1_4);
                        ^
  symbol:   variable builtin
  location: class bug142
Mercury/javas/jmercury/bug142.java:510: error: package jmercury.runtime does not exist 
      succeeded = bug142.__Unify____r_1_0(((jmercury.runtime.TypeInfo_Struct) wrapper_arg_1), ((bug142.R_1) wrapper_arg_2), ((bug142.R_1) wrapper_arg_3));
                                                            ^
Mercury/javas/jmercury/bug142.java:566: error: package jmercury.runtime does not exist 
          throw new jmercury.runtime.UnreachableDefault();
                                    ^
Mercury/javas/jmercury/bug142.java:610: error: package jmercury.runtime does not exist 
          throw new jmercury.runtime.UnreachableDefault();
                                    ^
93 errors
** Error making `Mercury/classes/jmercury/bug142.class'.
gmake[3]: *** [/tmp/mmake.bONIh9:1497: bug142.class] Error 1
gmake[3]: Target 'bug142.runtest' not remade because of errors.
gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/tests/valid'