MERCURY_OPTIONS= gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-06-26/tests/valid' { echo MCFLAGS += '--grade java --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-06-26/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs --no-static-ground-terms --no-optimize-dead-procs '; echo MCFLAGS += ' '; echo CFLAGS += ' '; echo JAVACFLAGS += '-J"-Xmx1024m" '; echo CSCFLAGS += ' '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-06-26/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-06-26/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-06-26/stage2/scripts/mmc --make --options-file - bug134.depend gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-06-26/tests/valid' gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-06-26/tests/valid' { echo MCFLAGS += '--grade java --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-06-26/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs --no-static-ground-terms --no-optimize-dead-procs '; echo MCFLAGS += ' '; echo CFLAGS += ' '; echo JAVACFLAGS += '-J"-Xmx1024m" '; echo CSCFLAGS += ' '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-06-26/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-06-26/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-06-26/stage2/scripts/mmc --make --options-file - bug134.class Making Mercury/int3s/bug134.int3 Making Mercury/ints/bug134.int Making Mercury/javas/jmercury/bug134.java bug134.m:024: In module `bug134': bug134.m:024: warning: module `getopt' is imported in the interface, but it bug134.m:024: is not used in the interface. bug134.m:027: In module `bug134': bug134.m:027: warning: module `maybe' is imported in the interface, but it is bug134.m:027: not used in the interface. Making Mercury/classes/jmercury/bug134.class Mercury/javas/jmercury/bug134.java:15: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug134__enum_functor_desc_command_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug134.java:16: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug134__enum_ordinal_ordered_command_0 = new jmercury.runtime.EnumFunctorDesc[1]; ^ Mercury/javas/jmercury/bug134.java:17: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug134__enum_name_ordered_command_0 = new jmercury.runtime.EnumFunctorDesc[1]; ^ Mercury/javas/jmercury/bug134.java:19: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug134__type_ctor_info_command_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug134.java:20: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug134__enum_functor_desc_dir_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug134.java:21: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug134__enum_ordinal_ordered_dir_0 = new jmercury.runtime.EnumFunctorDesc[1]; ^ Mercury/javas/jmercury/bug134.java:22: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug134__enum_name_ordered_dir_0 = new jmercury.runtime.EnumFunctorDesc[1]; ^ Mercury/javas/jmercury/bug134.java:24: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug134__type_ctor_info_dir_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug134.java:25: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug134__enum_functor_desc_format_option_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug134.java:26: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug134__enum_functor_desc_format_option_0_1 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug134.java:27: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug134__enum_ordinal_ordered_format_option_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/bug134.java:28: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug134__enum_name_ordered_format_option_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/bug134.java:30: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug134__type_ctor_info_format_option_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug134.java:31: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug134__enum_functor_desc_path_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug134.java:32: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug134__enum_ordinal_ordered_path_0 = new jmercury.runtime.EnumFunctorDesc[1]; ^ Mercury/javas/jmercury/bug134.java:33: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug134__enum_name_ordered_path_0 = new jmercury.runtime.EnumFunctorDesc[1]; ^ Mercury/javas/jmercury/bug134.java:35: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug134__type_ctor_info_path_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug134.java:36: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc bug134__du_functor_desc_token_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/bug134.java:37: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] bug134__field_types_token_0_1 = new jmercury.runtime.PseudoTypeInfo[1]; ^ Mercury/javas/jmercury/bug134.java:38: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc bug134__du_functor_desc_token_0_1 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/bug134.java:39: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] bug134__du_stag_ordered_token_0_0 = new jmercury.runtime.DuFunctorDesc[2]; ^ Mercury/javas/jmercury/bug134.java:40: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] bug134__du_ptag_ordered_token_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/bug134.java:41: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] bug134__du_name_ordered_token_0 = new jmercury.runtime.DuFunctorDesc[2]; ^ Mercury/javas/jmercury/bug134.java:43: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug134__type_ctor_info_token_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug134.java:257: error: package list.List_1 does not exist private static final list.List_1.F_nil_0[] MR_scalar_common_1 = new list.List_1.F_nil_0[1]; ^ Mercury/javas/jmercury/bug134.java:287: error: package list does not exist list.List_1 Words_3) ^ Mercury/javas/jmercury/bug134.java:367: error: package builtin does not exist public static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/bug134.java:390: error: package builtin does not exist public static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/bug134.java:838: error: package jmercury.runtime does not exist extends jmercury.runtime.MercuryEnum ^ Mercury/javas/jmercury/bug134.java:839: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/bug134.java:413: error: package builtin does not exist public static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/bug134.java:452: error: package builtin does not exist public static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/bug134.java:778: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/bug134.java:475: error: package builtin does not exist private static builtin.Comparison_result_0 ^ Mercury/javas/jmercury/bug134.java:655: error: package jmercury.runtime does not exist implements jmercury.runtime.MethodPtr2 ^ Mercury/javas/jmercury/bug134.java:816: error: package jmercury.runtime does not exist extends jmercury.runtime.MercuryEnum ^ Mercury/javas/jmercury/bug134.java:817: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/bug134.java:827: error: package jmercury.runtime does not exist extends jmercury.runtime.MercuryEnum ^ Mercury/javas/jmercury/bug134.java:828: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/bug134.java:850: error: package jmercury.runtime does not exist extends jmercury.runtime.MercuryEnum ^ Mercury/javas/jmercury/bug134.java:851: error: package jmercury.runtime does not exist implements jmercury.runtime.MercuryType ^ Mercury/javas/jmercury/bug134.java:15: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug134__enum_functor_desc_command_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug134.java:16: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug134__enum_ordinal_ordered_command_0 = new jmercury.runtime.EnumFunctorDesc[1]; ^ Mercury/javas/jmercury/bug134.java:17: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug134__enum_name_ordered_command_0 = new jmercury.runtime.EnumFunctorDesc[1]; ^ Mercury/javas/jmercury/bug134.java:19: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug134__type_ctor_info_command_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug134.java:20: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug134__enum_functor_desc_dir_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug134.java:21: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug134__enum_ordinal_ordered_dir_0 = new jmercury.runtime.EnumFunctorDesc[1]; ^ Mercury/javas/jmercury/bug134.java:22: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug134__enum_name_ordered_dir_0 = new jmercury.runtime.EnumFunctorDesc[1]; ^ Mercury/javas/jmercury/bug134.java:24: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug134__type_ctor_info_dir_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug134.java:25: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug134__enum_functor_desc_format_option_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug134.java:26: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug134__enum_functor_desc_format_option_0_1 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug134.java:27: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug134__enum_ordinal_ordered_format_option_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/bug134.java:28: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug134__enum_name_ordered_format_option_0 = new jmercury.runtime.EnumFunctorDesc[2]; ^ Mercury/javas/jmercury/bug134.java:30: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug134__type_ctor_info_format_option_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug134.java:31: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc bug134__enum_functor_desc_path_0_0 = new jmercury.runtime.EnumFunctorDesc(); ^ Mercury/javas/jmercury/bug134.java:32: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug134__enum_ordinal_ordered_path_0 = new jmercury.runtime.EnumFunctorDesc[1]; ^ Mercury/javas/jmercury/bug134.java:33: error: package jmercury.runtime does not exist private static final jmercury.runtime.EnumFunctorDesc[] bug134__enum_name_ordered_path_0 = new jmercury.runtime.EnumFunctorDesc[1]; ^ Mercury/javas/jmercury/bug134.java:35: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug134__type_ctor_info_path_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug134.java:36: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc bug134__du_functor_desc_token_0_0 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/bug134.java:37: error: package jmercury.runtime does not exist private static final jmercury.runtime.PseudoTypeInfo[] bug134__field_types_token_0_1 = new jmercury.runtime.PseudoTypeInfo[1]; ^ Mercury/javas/jmercury/bug134.java:38: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc bug134__du_functor_desc_token_0_1 = new jmercury.runtime.DuFunctorDesc(); ^ Mercury/javas/jmercury/bug134.java:39: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] bug134__du_stag_ordered_token_0_0 = new jmercury.runtime.DuFunctorDesc[2]; ^ Mercury/javas/jmercury/bug134.java:40: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuPtagLayout[] bug134__du_ptag_ordered_token_0 = new jmercury.runtime.DuPtagLayout[1]; ^ Mercury/javas/jmercury/bug134.java:41: error: package jmercury.runtime does not exist private static final jmercury.runtime.DuFunctorDesc[] bug134__du_name_ordered_token_0 = new jmercury.runtime.DuFunctorDesc[2]; ^ Mercury/javas/jmercury/bug134.java:43: error: package jmercury.runtime does not exist public static final jmercury.runtime.TypeCtorInfo_Struct bug134__type_ctor_info_token_0 = new jmercury.runtime.TypeCtorInfo_Struct(); ^ Mercury/javas/jmercury/bug134.java:61: error: package jmercury.runtime does not exist jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_DUMMY, ^ Mercury/javas/jmercury/bug134.java:66: error: package jmercury.runtime does not exist new jmercury.runtime.TypeFunctors( ^ Mercury/javas/jmercury/bug134.java:69: error: package jmercury.runtime does not exist new jmercury.runtime.TypeLayout( ^ Mercury/javas/jmercury/bug134.java:91: error: package jmercury.runtime does not exist jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_DUMMY, ^ Mercury/javas/jmercury/bug134.java:96: error: package jmercury.runtime does not exist new jmercury.runtime.TypeFunctors( ^ Mercury/javas/jmercury/bug134.java:99: error: package jmercury.runtime does not exist new jmercury.runtime.TypeLayout( ^ Mercury/javas/jmercury/bug134.java:131: error: package jmercury.runtime does not exist jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_ENUM, ^ Mercury/javas/jmercury/bug134.java:136: error: package jmercury.runtime does not exist new jmercury.runtime.TypeFunctors( ^ Mercury/javas/jmercury/bug134.java:139: error: package jmercury.runtime does not exist new jmercury.runtime.TypeLayout( ^ Mercury/javas/jmercury/bug134.java:161: error: package jmercury.runtime does not exist jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_DUMMY, ^ Mercury/javas/jmercury/bug134.java:166: error: package jmercury.runtime does not exist new jmercury.runtime.TypeFunctors( ^ Mercury/javas/jmercury/bug134.java:169: error: package jmercury.runtime does not exist new jmercury.runtime.TypeLayout( ^ Mercury/javas/jmercury/bug134.java:181: error: cannot find symbol private_builtin.MR_SECTAG_REMOTE_FULL_WORD, ^ symbol: variable private_builtin location: class bug134 Mercury/javas/jmercury/bug134.java:189: error: cannot find symbol private_builtin.MR_FUNCTOR_SUBTYPE_NONE, ^ symbol: variable private_builtin location: class bug134 Mercury/javas/jmercury/bug134.java:193: error: package jmercury.runtime does not exist (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_character_0; ^ Mercury/javas/jmercury/bug134.java:193: error: cannot find symbol (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_character_0; ^ symbol: variable builtin location: class bug134 Mercury/javas/jmercury/bug134.java:198: error: cannot find symbol private_builtin.MR_SECTAG_REMOTE_FULL_WORD, ^ symbol: variable private_builtin location: class bug134 Mercury/javas/jmercury/bug134.java:206: error: cannot find symbol private_builtin.MR_FUNCTOR_SUBTYPE_NONE, ^ symbol: variable private_builtin location: class bug134 Mercury/javas/jmercury/bug134.java:214: error: package jmercury.runtime does not exist new jmercury.runtime.DuPtagLayout( ^ Mercury/javas/jmercury/bug134.java:216: error: cannot find symbol private_builtin.MR_SECTAG_REMOTE_FULL_WORD, ^ symbol: variable private_builtin location: class bug134 Mercury/javas/jmercury/bug134.java:234: error: package jmercury.runtime does not exist jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_DU, ^ Mercury/javas/jmercury/bug134.java:239: error: package jmercury.runtime does not exist new jmercury.runtime.TypeFunctors( ^ Mercury/javas/jmercury/bug134.java:242: error: package jmercury.runtime does not exist new jmercury.runtime.TypeLayout( ^ Mercury/javas/jmercury/bug134.java:257: error: package list.List_1 does not exist private static final list.List_1.F_nil_0[] MR_scalar_common_1 = new list.List_1.F_nil_0[1]; ^ Mercury/javas/jmercury/bug134.java:263: error: package list.List_1 does not exist new list.List_1.F_nil_0(); ^ Mercury/javas/jmercury/bug134.java:269: error: cannot find symbol ((java.lang.Object) (builtin.builtin__type_ctor_info_character_0)) ^ symbol: variable builtin location: class bug134 Mercury/javas/jmercury/bug134.java:269: error: illegal start of type ((java.lang.Object) (builtin.builtin__type_ctor_info_character_0)) ^ Mercury/javas/jmercury/bug134.java:295: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_12_12 = jmercury.runtime.TypeInfo_Struct.maybe_new(bug134.bug134__type_ctor_info_token_0); ^ Mercury/javas/jmercury/bug134.java:295: error: package jmercury.runtime does not exist jmercury.runtime.TypeInfo_Struct TypeCtorInfo_12_12 = jmercury.runtime.TypeInfo_Struct.maybe_new(bug134.bug134__type_ctor_info_token_0); ^ Mercury/javas/jmercury/bug134.java:296: error: package list does not exist list.List_1 CmdTokens_7 = (list.List_1) bug134.MR_scalar_common_1[0]; ^ Mercury/javas/jmercury/bug134.java:296: error: package list does not exist list.List_1 CmdTokens_7 = (list.List_1) bug134.MR_scalar_common_1[0]; ^ Mercury/javas/jmercury/bug134.java:297: error: package list does not exist list.List_1 ArgTokens_8 = (list.List_1) bug134.MR_scalar_common_1[0]; ^ Mercury/javas/jmercury/bug134.java:297: error: package list does not exist list.List_1 ArgTokens_8 = (list.List_1) bug134.MR_scalar_common_1[0]; ^ Mercury/javas/jmercury/bug134.java:298: error: package list does not exist list.List_1 AllTokens_9 = null; ^ Mercury/javas/jmercury/bug134.java:301: error: cannot find symbol AllTokens_9 = list.append_3_p_1(TypeCtorInfo_12_12, CmdTokens_7, ArgTokens_8); ^ symbol: variable list location: class bug134 100 errors ** Error making `Mercury/classes/jmercury/bug134.class'. gmake[3]: *** [/tmp/mmake.x5YuWf:1497: bug134.class] Error 1 gmake[3]: Target 'bug134.runtest' not remade because of errors. gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-06-26/tests/valid' ERROR OUTPUT bug134.m:024: In module `bug134': bug134.m:024: warning: module `getopt' is imported in the interface, but it bug134.m:024: is not used in the interface. bug134.m:027: In module `bug134': bug134.m:027: warning: module `maybe' is imported in the interface, but it is bug134.m:027: not used in the interface. END OF THE ERROR OUTPUT