I’m running “guix deploy deploy.scm” on a x86_64 host.  The deploy.scm
file looks like this: