[Trivial] Mark monitor functions `pure`/`nothrow` if possible.