Source position: gnomeconfig.inc line 4
function _gnome_config_get_int_with_default(
path: Pchar;
def: Pgboolean;
priv: gint
):gint;