00001 #include "types.h" 00002 00003 void graphcrunch_output(char* path, char* name, short marker_value, netlist_t *netlist);