chiark / gitweb /
Consistency checks: Distinguish "entry" from exit