syntax_data: {"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"k0:"}]}
source_snippet:         k0: kreg0 = ["k0"],
context_before:         zmm31: zmm_reg = ["zmm31", "xmm31", "ymm31"] % x86_64_only,
context_after:         k1: kreg = ["k1"],