Source position: gnomeconfig.inc line 53
procedure gnome_config_private_set_int(
path: Pchar;
new_value: LongInt
);