super sorry to the guy with the username @reset on GitHub, whom we keep accidentally sending email to when we talk about setting registers to zero https://github.com/cucapra/calyx/issues/1640#issuecomment-1652270808