Debugger monitor facility for X-models by S.H.M.M. Wamcoment-Dumont