12.3.4 tmpdir_factory