¹On Mac, the status report feature uses the BSD SIGINFO extension, which is activated by control-T from a terminal where Maude is the foreground process. It can also be activated by kill -INFO <pid>, however this does not give the load and timing information as control-T does.