Further translation

Perhaps we should use a UUID4 library for this?