People at various times run into mysterious problems that have no apparent source but are eventually found out to be caused by the innocent use of a file named "aux.txt" or any one of the other reserved file names. It isn't realistic to expect that all users of such an ubiquitous system as...