/* Extract specified nibble from an unsigned word in character format. For example: Suppose val32 is 0x786543210, get_Nth_nibble_char(val32, 3) will return a '3'.  */
static char get_Nth_nibble_char(uint32_t val32, uint32_t idx)
/* Extract specified nibble from an unsigned word in character format. For example: Suppose val32 is 0x786543210, get_Nth_nibble_char(val32, 3) will return a '3'.  */
static char get_Nth_nibble_char(uint32_t val32, uint32_t idx)
{
    return hex_char_tbl[(val32 >> (idx * 4U)) & 0xfU ];
}