MERCURY_OPTIONS=
gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/tests/hard_coded'
{ 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    '; 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 - random_3.depend
gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/tests/hard_coded'
gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/tests/hard_coded'
{ 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    '; 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 - random_3
Making Mercury/int3s/random_3.int3
Making Mercury/ints/random_3.int
Making Mercury/javas/jmercury/random_3.java
Making Java class files
Mercury/javas/jmercury/random_3.java:33: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct[] MR_scalar_common_2 = new jmercury.runtime.TypeInfo_Struct[3];
                                       ^
Mercury/javas/jmercury/random_3.java:34: error: package string__parse_util does not exist 
  private static final string__parse_util.String_format_flags_0[] MR_scalar_common_3 = new string__parse_util.String_format_flags_0[1];
                                         ^
Mercury/javas/jmercury/random_3.java:15: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.progname = "random_3";
                    ^
Mercury/javas/jmercury/random_3.java:16: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.args = args;
                    ^
Mercury/javas/jmercury/random_3.java:17: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.exit_status = 0;
                    ^
Mercury/javas/jmercury/random_3.java:18: error: cannot find symbol 
    library.ML_std_library_init();
    ^
  symbol:   variable library
  location: class random_3
Mercury/javas/jmercury/random_3.java:19: error: cannot find symbol 
    benchmarking.ML_initialise();
    ^
  symbol:   variable benchmarking
  location: class random_3
Mercury/javas/jmercury/random_3.java:25: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.runMain(run_main);
                    ^
Mercury/javas/jmercury/random_3.java:26: error: cannot find symbol 
    io.flush_output_3_p_0(io.stdout_stream_0_f_0());
                          ^
  symbol:   variable io
  location: class random_3
Mercury/javas/jmercury/random_3.java:26: error: cannot find symbol 
    io.flush_output_3_p_0(io.stdout_stream_0_f_0());
    ^
  symbol:   variable io
  location: class random_3
Mercury/javas/jmercury/random_3.java:27: error: cannot find symbol 
    io.flush_output_3_p_0(io.stderr_stream_0_f_0());
                          ^
  symbol:   variable io
  location: class random_3
Mercury/javas/jmercury/random_3.java:27: error: cannot find symbol 
    io.flush_output_3_p_0(io.stderr_stream_0_f_0());
    ^
  symbol:   variable io
  location: class random_3
Mercury/javas/jmercury/random_3.java:28: error: package jmercury.runtime does not exist 
    java.lang.System.exit(jmercury.runtime.JavaInternal.exit_status);
                                          ^
Mercury/javas/jmercury/random_3.java:33: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct[] MR_scalar_common_2 = new jmercury.runtime.TypeInfo_Struct[3];
                                                                                                   ^
Mercury/javas/jmercury/random_3.java:34: error: package string__parse_util does not exist 
  private static final string__parse_util.String_format_flags_0[] MR_scalar_common_3 = new string__parse_util.String_format_flags_0[1];
                                                                                                             ^
Mercury/javas/jmercury/random_3.java:39: error: cannot find symbol 
        ((java.lang.Object) ((/* typeclass_info */ java.lang.Object[]) random__sfc16.base_typeclass_info_random__random__arity1__random__sfc16__random__arity0__)),
                                                                       ^
  symbol:   variable random__sfc16
  location: class random_3
Mercury/javas/jmercury/random_3.java:40: error: cannot find symbol 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc16.random__sfc16__type_ctor_info_random_0)))
                                                                        ^
  symbol:   variable random__sfc16
  location: class random_3
Mercury/javas/jmercury/random_3.java:40: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc16.random__sfc16__type_ctor_info_random_0)))
                                             ^
Mercury/javas/jmercury/random_3.java:43: error: package jmercury.runtime does not exist 
      new jmercury.runtime.TypeInfo_Struct(
                          ^
Mercury/javas/jmercury/random_3.java:44: error: cannot find symbol 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random.random__type_ctor_info_io_random_1))),
                                                                        ^
  symbol:   variable random
  location: class random_3
Mercury/javas/jmercury/random_3.java:44: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random.random__type_ctor_info_io_random_1))),
                                             ^
Mercury/javas/jmercury/random_3.java:45: error: cannot find symbol 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc16.random__sfc16__type_ctor_info_random_0)))
                                                                        ^
  symbol:   variable random__sfc16
  location: class random_3
Mercury/javas/jmercury/random_3.java:45: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc16.random__sfc16__type_ctor_info_random_0)))
                                             ^
Mercury/javas/jmercury/random_3.java:49: error: cannot find symbol 
        ((java.lang.Object) ((/* typeclass_info */ java.lang.Object[]) random.base_typeclass_info_random__urandom__arity2__random__io_random__arity1__io__state__arity0__)),
                                                                       ^
  symbol:   variable random
  location: class random_3
Mercury/javas/jmercury/random_3.java:51: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random_3.MR_scalar_common_2[0]))),
                                             ^
Mercury/javas/jmercury/random_3.java:52: error: cannot find symbol 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(io.io__type_ctor_info_state_0)))
                                                                        ^
  symbol:   variable io
  location: class random_3
Mercury/javas/jmercury/random_3.java:52: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(io.io__type_ctor_info_state_0)))
                                             ^
Mercury/javas/jmercury/random_3.java:56: error: cannot find symbol 
        ((java.lang.Object) ((/* typeclass_info */ java.lang.Object[]) random__sfc32.base_typeclass_info_random__urandom__arity2__random__sfc32__params__arity0__random__sfc32__ustate__arity0__)),
                                                                       ^
  symbol:   variable random__sfc32
  location: class random_3
Mercury/javas/jmercury/random_3.java:57: error: cannot find symbol 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc32.random__sfc32__type_ctor_info_params_0))),
                                                                        ^
  symbol:   variable random__sfc32
  location: class random_3
Mercury/javas/jmercury/random_3.java:57: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc32.random__sfc32__type_ctor_info_params_0))),
                                             ^
Mercury/javas/jmercury/random_3.java:58: error: cannot find symbol 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc32.random__sfc32__type_ctor_info_ustate_0)))
                                                                        ^
  symbol:   variable random__sfc32
  location: class random_3
Mercury/javas/jmercury/random_3.java:58: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc32.random__sfc32__type_ctor_info_ustate_0)))
                                             ^
Mercury/javas/jmercury/random_3.java:61: error: package jmercury.runtime does not exist 
      new jmercury.runtime.TypeInfo_Struct(
                          ^
Mercury/javas/jmercury/random_3.java:62: error: cannot find symbol 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random.random__type_ctor_info_io_urandom_2))),
                                                                        ^
  symbol:   variable random
  location: class random_3
Mercury/javas/jmercury/random_3.java:62: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random.random__type_ctor_info_io_urandom_2))),
                                             ^
Mercury/javas/jmercury/random_3.java:63: error: cannot find symbol 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc32.random__sfc32__type_ctor_info_params_0))),
                                                                        ^
  symbol:   variable random__sfc32
  location: class random_3
Mercury/javas/jmercury/random_3.java:63: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc32.random__sfc32__type_ctor_info_params_0))),
                                             ^
Mercury/javas/jmercury/random_3.java:64: error: cannot find symbol 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc32.random__sfc32__type_ctor_info_ustate_0)))
                                                                        ^
  symbol:   variable random__sfc32
  location: class random_3
Mercury/javas/jmercury/random_3.java:64: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc32.random__sfc32__type_ctor_info_ustate_0)))
                                             ^
Mercury/javas/jmercury/random_3.java:68: error: cannot find symbol 
        ((java.lang.Object) ((/* typeclass_info */ java.lang.Object[]) random.base_typeclass_info_random__urandom__arity2__random__io_urandom__arity2__io__state__arity0__)),
                                                                       ^
  symbol:   variable random
  location: class random_3
Mercury/javas/jmercury/random_3.java:70: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random_3.MR_scalar_common_2[1]))),
                                             ^
Mercury/javas/jmercury/random_3.java:71: error: cannot find symbol 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(io.io__type_ctor_info_state_0)))
                                                                        ^
  symbol:   variable io
  location: class random_3
Mercury/javas/jmercury/random_3.java:71: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(io.io__type_ctor_info_state_0)))
                                             ^
Mercury/javas/jmercury/random_3.java:75: error: cannot find symbol 
        ((java.lang.Object) ((/* typeclass_info */ java.lang.Object[]) random__sfc64.base_typeclass_info_random__urandom__arity2__random__sfc64__params__arity0__random__sfc64__ustate__arity0__)),
                                                                       ^
  symbol:   variable random__sfc64
  location: class random_3
Mercury/javas/jmercury/random_3.java:76: error: cannot find symbol 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc64.random__sfc64__type_ctor_info_params_0))),
                                                                        ^
  symbol:   variable random__sfc64
  location: class random_3
Mercury/javas/jmercury/random_3.java:76: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc64.random__sfc64__type_ctor_info_params_0))),
                                             ^
Mercury/javas/jmercury/random_3.java:77: error: cannot find symbol 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc64.random__sfc64__type_ctor_info_ustate_0)))
                                                                        ^
  symbol:   variable random__sfc64
  location: class random_3
Mercury/javas/jmercury/random_3.java:77: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc64.random__sfc64__type_ctor_info_ustate_0)))
                                             ^
Mercury/javas/jmercury/random_3.java:80: error: package jmercury.runtime does not exist 
      new jmercury.runtime.TypeInfo_Struct(
                          ^
Mercury/javas/jmercury/random_3.java:81: error: cannot find symbol 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random.random__type_ctor_info_io_urandom_2))),
                                                                        ^
  symbol:   variable random
  location: class random_3
Mercury/javas/jmercury/random_3.java:81: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random.random__type_ctor_info_io_urandom_2))),
                                             ^
Mercury/javas/jmercury/random_3.java:82: error: cannot find symbol 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc64.random__sfc64__type_ctor_info_params_0))),
                                                                        ^
  symbol:   variable random__sfc64
  location: class random_3
Mercury/javas/jmercury/random_3.java:82: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc64.random__sfc64__type_ctor_info_params_0))),
                                             ^
Mercury/javas/jmercury/random_3.java:83: error: cannot find symbol 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc64.random__sfc64__type_ctor_info_ustate_0)))
                                                                        ^
  symbol:   variable random__sfc64
  location: class random_3
Mercury/javas/jmercury/random_3.java:83: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random__sfc64.random__sfc64__type_ctor_info_ustate_0)))
                                             ^
Mercury/javas/jmercury/random_3.java:87: error: cannot find symbol 
        ((java.lang.Object) ((/* typeclass_info */ java.lang.Object[]) random.base_typeclass_info_random__urandom__arity2__random__io_urandom__arity2__io__state__arity0__)),
                                                                       ^
  symbol:   variable random
  location: class random_3
Mercury/javas/jmercury/random_3.java:89: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(random_3.MR_scalar_common_2[2]))),
                                             ^
Mercury/javas/jmercury/random_3.java:90: error: cannot find symbol 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(io.io__type_ctor_info_state_0)))
                                                                        ^
  symbol:   variable io
  location: class random_3
Mercury/javas/jmercury/random_3.java:90: error: package jmercury.runtime does not exist 
        ((java.lang.Object) (jmercury.runtime.TypeInfo_Struct.maybe_new(io.io__type_ctor_info_state_0)))
                                             ^
Mercury/javas/jmercury/random_3.java:93: error: package string__parse_util does not exist 
      new string__parse_util.String_format_flags_0(
                            ^
Mercury/javas/jmercury/random_3.java:94: error: package string__parse_util does not exist 
        string__parse_util.String_format_flag_hash_0.K0,
                          ^
Mercury/javas/jmercury/random_3.java:95: error: package string__parse_util does not exist 
        string__parse_util.String_format_flag_space_0.K0,
                          ^
Mercury/javas/jmercury/random_3.java:96: error: package string__parse_util does not exist 
        string__parse_util.String_format_flag_zero_0.K1,
                          ^
Mercury/javas/jmercury/random_3.java:97: error: package string__parse_util does not exist 
        string__parse_util.String_format_flag_minus_0.K0,
                          ^
Mercury/javas/jmercury/random_3.java:98: error: package string__parse_util does not exist 
        string__parse_util.String_format_flag_plus_0.K0
                          ^
Mercury/javas/jmercury/random_3.java:117: error: package random does not exist 
    random.Io_random_1 Msfc16_4 = null;
          ^
Mercury/javas/jmercury/random_3.java:118: error: package random__sfc32 does not exist 
    random__sfc32.Ustate_0 Ssfc32_6 = null;
                 ^
Mercury/javas/jmercury/random_3.java:119: error: package random does not exist 
    random.Io_urandom_2 Msfc32_7 = null;
          ^
Mercury/javas/jmercury/random_3.java:120: error: package random__sfc64 does not exist 
    random__sfc64.Ustate_0 Ssfc64_9 = null;
                 ^
Mercury/javas/jmercury/random_3.java:121: error: package random does not exist 
    random.Io_urandom_2 Msfc64_10 = null;
          ^
Mercury/javas/jmercury/random_3.java:123: error: package random__sfc16 does not exist 
    random__sfc16.Random_0 Var_15 = null;
                 ^
Mercury/javas/jmercury/random_3.java:131: error: cannot find symbol 
      io.write_string_3_p_0(Var_13);
      ^
  symbol:   variable io
  location: class random_3
Mercury/javas/jmercury/random_3.java:134: error: cannot find symbol 
      Var_15 = random__sfc16.init_0_f_0();
               ^
  symbol:   variable random__sfc16
  location: class random_3
Mercury/javas/jmercury/random_3.java:138: error: cannot find symbol 
      Msfc16_4 = random.make_io_random_4_p_0(TypeClassInfo_for_random_28, ((java.lang.Object) (Var_15)));
                 ^
  symbol:   variable random
  location: class random_3
Mercury/javas/jmercury/random_3.java:147: error: cannot find symbol 
      io.write_string_3_p_0(Var_19);
      ^
  symbol:   variable io
  location: class random_3
Mercury/javas/jmercury/random_3.java:150: error: cannot find symbol 
      Ssfc32_6 = random__sfc32.init_2_p_0();
                 ^
  symbol:   variable random__sfc32
  location: class random_3
Mercury/javas/jmercury/random_3.java:154: error: cannot find symbol 
      Msfc32_7 = random.make_io_urandom_5_p_0(TypeClassInfo_for_urandom_30, ((java.lang.Object) (0)), ((java.lang.Object) (Ssfc32_6)));
                 ^
  symbol:   variable random
  location: class random_3
Mercury/javas/jmercury/random_3.java:163: error: cannot find symbol 
      io.write_string_3_p_0(Var_24);
      ^
  symbol:   variable io
  location: class random_3
Mercury/javas/jmercury/random_3.java:166: error: cannot find symbol 
      Ssfc64_9 = random__sfc64.init_2_p_0();
                 ^
  symbol:   variable random__sfc64
  location: class random_3
Mercury/javas/jmercury/random_3.java:170: error: cannot find symbol 
      Msfc64_10 = random.make_io_urandom_5_p_0(TypeClassInfo_for_urandom_32, ((java.lang.Object) (0)), ((java.lang.Object) (Ssfc64_9)));
                  ^
  symbol:   variable random
  location: class random_3
Mercury/javas/jmercury/random_3.java:203: error: package string__parse_util does not exist 
        string__parse_util.String_format_int_base_0 Var_31 = null;
                          ^
Mercury/javas/jmercury/random_3.java:206: error: package string__parse_util does not exist 
        string__parse_util.String_format_flags_0 Var_39 = null;
                          ^
Mercury/javas/jmercury/random_3.java:208: error: package string__parse_util does not exist 
        string__parse_util.String_format_int_base_0 Var_42 = null;
                          ^
Mercury/javas/jmercury/random_3.java:213: error: package jmercury.runtime does not exist 
        jmercury.runtime.MethodPtr func_0 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) ((java.lang.Object[]) TypeClassInfo_for_urandom_29)[0])[8]);
                        ^
Mercury/javas/jmercury/random_3.java:213: error: package jmercury.runtime does not exist 
        jmercury.runtime.MethodPtr func_0 = ((jmercury.runtime.MethodPtr) ((java.lang.Object[]) ((java.lang.Object[]) TypeClassInfo_for_urandom_29)[0])[8]);
                                                              ^
Mercury/javas/jmercury/random_3.java:219: error: package jmercury.runtime does not exist 
          java.lang.Object [] result = ((java.lang.Object[]) ((jmercury.runtime.MethodPtr3) func_0).call___0_0(((java.lang.Object) (((/* generic_type */ java.lang.Object) TypeClassInfo_for_urandom_29))), ((java.lang.Object) (M_6)), ((java.lang.Object) (((java.lang.Object) (0))))));
                                                                               ^
Mercury/javas/jmercury/random_3.java:227: error: cannot find symbol 
          A_9 = uint64.cast_to_int_1_f_0(Var_15);
                ^
  symbol:   variable uint64
  location: class random_3
Mercury/javas/jmercury/random_3.java:232: error: cannot find symbol 
          B_10 = uint64.cast_to_int_1_f_0(Var_17);
                 ^
  symbol:   variable uint64
  location: class random_3
Mercury/javas/jmercury/random_3.java:235: error: cannot find symbol 
          Var_32 = string__format.format_cast_int_to_uint_2_p_0(A_9);
                   ^
  symbol:   variable string__format
  location: class random_3
Mercury/javas/jmercury/random_3.java:237: error: package string__parse_util does not exist 
        Var_39 = (string__parse_util.String_format_flags_0) random_3.MR_scalar_common_3[0];
                                    ^
Mercury/javas/jmercury/random_3.java:239: error: package string__parse_util does not exist 
        Var_31 = string__parse_util.String_format_int_base_0.K2;
                                   ^
Mercury/javas/jmercury/random_3.java:241: error: cannot find symbol 
          Var_33 = string__format.format_uint_component_width_noprec_5_p_0(Var_39, Var_40, Var_31, Var_32);
                   ^
  symbol:   variable string__format
  location: class random_3
Mercury/javas/jmercury/random_3.java:244: error: cannot find symbol 
          io.write_string_3_p_0(Var_33);
          ^
  symbol:   variable io
  location: class random_3
Mercury/javas/jmercury/random_3.java:247: error: cannot find symbol 
          Var_43 = string__format.format_cast_int_to_uint_2_p_0(B_10);
                   ^
  symbol:   variable string__format
  location: class random_3
Mercury/javas/jmercury/random_3.java:250: error: package string__parse_util does not exist 
        Var_42 = string__parse_util.String_format_int_base_0.K2;
                                   ^
Mercury/javas/jmercury/random_3.java:252: error: cannot find symbol 
          Var_44 = string__format.format_uint_component_width_noprec_5_p_0(Var_39, Var_51, Var_42, Var_43);
                   ^
  symbol:   variable string__format
  location: class random_3
Mercury/javas/jmercury/random_3.java:255: error: cannot find symbol 
          io.write_string_3_p_0(Var_44);
          ^
  symbol:   variable io
  location: class random_3
Mercury/javas/jmercury/random_3.java:259: error: cannot find symbol 
          io.write_string_3_p_0(Var_52);
          ^
  symbol:   variable io
  location: class random_3
98 errors
gmake[3]: *** [/tmp/mmake.pQAgqa:2362: random_3] Error 1
gmake[3]: Target 'random_3.runtest' not remade because of errors.
gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-30/tests/hard_coded'