²On Linux, there is no equivalent capability so the Maude implementation follows the dd convention and kill -USR1 <pid> can be used instead.