[Reduction] #509-510: mkname and tmpnam