write_nettype_register
write_nettype_register(argv[i + 1]);
extern void write_nettype_register(char *);