chiark / gitweb /
Inputfile machinery. Now do state machine