/// Lowercase hex rendering used by generated Move code.
pubfnto_hex(data:&[u8])-> String{letmut out =String::with_capacity(data.len()*2);staticHEX:&[u8;16]=b"0123456789abcdef";for&b in data {
out.push(HEX[(b >>4)asusize]aschar);
out.push(HEX[(b &0x0f)asusize]aschar);}
out
}