file io debug printf