void monitor(...) {}