Re: [GHC] #15537: Panic when building Crucible