This else branch is useless since the get_value call below will throw if the character is not hexadecimal.