Platform information used by GHC and friends