dump;; # But that may change in future versions. I don't know any solution # not using the function dump; kill 5,0 is too long.