Cpython.Callstack_trackingtype MopsaLib.query += | Q_cpython_attached_callstack : MopsaLib.addr -> ('a0,
Mopsa_utils.Core.ControlCtx.control_ctx)
MopsaLib.querymodule Domain : sig ... end