cr4bin.txt: