cfopu-0.1.0: RTS.c

const char *ghc_rts_opts = "-N";