src/tools/mktemp
