Code Editor : uuid.t