/**
* Read initializations arguments from the .init file.
*/
void firm_init_options(const char *arg_prefix, int argc, const char **argv);
/**
* Read initializations arguments from the .init file.
*/
void firm_init_options(const char *arg_prefix, int argc, const char **argv);