chiark / gitweb /
Hash tables indexed by atoms, to avoid expense of hashing keys on each