chiark / gitweb /
basic: define HEXDIGITS