let int_of_16_char c = if '0' <= c && c <= '9' then Char.code c - Char.code '0' else if 'a' <= c && c <= 'f' then Char.code c - Char.code 'a' + 10 else Char.code c - Char.code 'A' + 10