debug-monitors.h revision 6f883d10
1