Opt: avoid alloc+copy in make_UUID()