Extensions for Emacs ERT