h(...) -> H(...) in `hash_extra`
Just normal operations, no checking yet.