sequor-0.2: src/ghc_rts_opts.c

char *ghc_rts_opts = "-K100m";