{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"//"}]}
        // * N: number of elements in the input vectors
        //             mask: <N x i{M}>) -> ()
        // * T: type of the element to load