Source position: gnomemime.inc line 6
function gnome_mime_type_or_default_of_file(
existing_filename: Pchar;
defaultv: Pgchar
):Pchar;