Go back to a description of what it does, see the source code, etc.
Below is the monitor applet. Normally it is invisible and runs in the background; we display it for the sake of the example. The display a/b/c/:d:e indicates: a/b/c: state of properties 1/2/3 (? = unknown, T = true, F = false); d: number of messages processed, e: total processing time (in ms).