{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"bx.trunc(i_xn_msb,"}]}
        bx.trunc(i_xn_msb, bx.type_vector(bx.type_i1(), in_len))
        // Truncate vector to an <i1 x N>
    }