{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"//"}]}
        // The element type of the third argument must be an integer type of any width:
        // TODO: also support unsigned integers.