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