[nhc-bugs] read "hexadecimal digits"?