pub fn initial_state_words_kernel(_dummy: b1) -> HashWords
Return the FIPS 180-4 SHA-256 initial chaining value in RHDL widths.
The dummy input keeps this usable as an ordinary RHDL kernel; its value is intentionally ignored.