Argument specialization. Not sure this makes sense though.

[ianamason]

Partial specification of main's argv.

• could specialize a option parsing library?
• naive aproach:

int main(int argc, char* argv[]){

argc = extend_args_with_mcsat_set(&argv);

assert( argv[1] == "--mcsat");

...

}

foo [switch]

assuming argc = 2

argc' = 3

argv'[0] = "foo" argv'[1] = "switch" argv'[2] = argv[1] argv'[3] = NULL