add srfi.txt