Source position: gnomemime.inc line 4
function gnome_mime_type_or_default(
filename: Pgchar;
defaultv: Pgchar
):Pchar;