char *ghc_rts_opts = "-A128m";