[GHC] #12267: fbvfdgvdr