FM-SBLEX-3.0: src/lib/rts.c

char *ghc_rts_opts = "-K30M -M2048M";