Re: [GHC] #10926: wrong signature of atomic builtins