Thanks Eric and Jim. One though on the changes is that if we use a shell script to wrap running the binary, we'd might as well make the shell script check that the xalloc-die binary returns a non-0 exit code and drop the XFAIL_TESTS approach for the module. But I don't care strongly about it.
/Simon