{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":".chain((16..byte_vector_type_size).map(|_|"}]}
            .chain((16..byte_vector_type_size).map(|_| zero_byte))
            .map(|x| bx.context.new_rvalue_from_int(bx.u8_type, (x.reverse_bits() >> 4) as _))
            .collect();