Edit file File name : badname.txt Content :# stap -g badname.stp -c "touch /tmp/myXXXbadnameXXXfile.$$ cannot touch `/tmp/myXXXbadnameXXXfile.15686': Permission denied Save