[Git][ghc/ghc][wip/prog003-fragile] Mark prog003 as fragile in static way