@Dennis Our option parsing library is kinda dumb, or just poorly documented. I'm not sure how to get it to parse arguments without processing them as flags without --.
My philosophy is that it should work locally if it works on TIO. If you need -- on the command line to avoid treating -c as a flag, you should need it on TIO as well.