NIST_DECAP_DK
[NIST_DECAP_DK] = {
.state = NIST_DECAP_DK,
parse_instruction_get_cbs(p, NIST_DECAP_DK, &dk);