debug-monitors.h revision d7a33f4f
1