/* Parse arguments from a string and prepend them to an argv. */
void prepend_default_options (char const *, int *, char ***);