{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":")"}]}
    ) -> &'ll Value {
        in_len: u64,
        // Shift the MSB to the right by "in_elem_bitwidth - 1" into the first bit position.