module(1, "debugger_interface.m",
	(mdb.debugger_interface),
	{mdb},
	{builtin, private_builtin},
	{builtin, io, list, require, univ, (mdb.interactive_query), (mdb.util), (mdbcomp.goal_path), (mdbcomp.prim_data), private_builtin},
	{},
	{},
	{},
	{"C"},
	{"C" - (mdb.debugger_interface), "C" - (mdb.debugger_interface)},
	contains_foreign_export,
	no_main
).
