chiark / gitweb /
Proof that check_errors() is sufficient.