
       void inf_Drive(char *outputname);

DDEESSCCRRIIPPTTIIOONN
       Saves applied INF statements on disk

AARRGGUUMMEENNTTSS
       oouuttppuuttnnaammee    File where to save INF statements (the _._i_n_f suffix is not
                     automatically added)

       EEXXAAMMPPLLEE       _i_n_f___D_r_i_v_e _c_p_u_._i_n_f

