${pp.sourceFileSize('s.txt')}