path: root/testsuite/tests/rts/flags/T12870f.stdout

["+RTS","-G2","-RTS","arg1","--RTS","+RTS","arg2"]