{"ast_node_type":"variable","tokens":[{"end":55,"kind":"keyword","start":0,"text":"let"}]}
        let in_elem_bitwidth = require_int_or_uint_ty!(
        // Integer vector <i{in_bitwidth} x in_len>:
            in_elem.kind(),