void spice_print_headers(char* include_dir_path,
                          float vpr_clock_period,
                          int num_clock,
                          t_spice spice);