Functional code generation for UUID