pqc/crypto_sign/sphincs-sha256-128f-robust/clean/hash_state.h