Source position: gnomemimeinfo.inc line 5
function gnome_mime_program(
mime_type: PAnsiChar
):PAnsiChar;