single_keccak
&& single_keccak(out, len, in, ML_KEM_RANDOM_BYTES + 1, mdctx);
&& single_keccak(out, ML_KEM_PKHASH_BYTES, in, len, mdctx);
&& single_keccak(out, ML_KEM_SEED_BYTES, in, len, mdctx);