IN.txt mostly works, heisenbug, though