Source position: gtkicontheme.inc line 120
function gtk_icon_info_get_filename(
icon_info: PGtkIconInfo
):Pgchar;