{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"//"}]}
            // llvm.x86.encodekey256 returns a value.
            // The builtin __builtin_ia32_encodekey256_u32 writes the result in its pointer argument while
            // We added a result pointer argument and now need to assign its value to the return_value expected by