guix cc9094d