a.txt is nothing