Source position: gnomeconfig.inc line 11
function gnome_config_get_int_with_default(
path: Pchar;
def: Pgboolean
):gint;