chiark / gitweb /
fix numevals counter in orig_direct