int get_plugin_png_path(char *png_path, const char *plugin_icons);
int get_plugin_png_path(char *png_path);
void dump(FILE *fp=stdout);
int get_plugin_png_path(char *png_path, const char *plugin_icons);
int get_plugin_png_path(char *png_path);
void dump(FILE *fp=stdout);