TMPFSMODULE
handle = dlopen(TMPFSMODULE, RTLD_GLOBAL);
atf_tc_fail("cannot open %s: %s", TMPFSMODULE, dlmsg);
atf_tc_fail("cannot close %s: %s", TMPFSMODULE, dlmsg);