save_int_value_file  685 core/gui_script.c             save_int_value_file( nm, conf.script_param_set );
save_int_value_file   15 include/fileutil.h extern void save_int_value_file(const char* filename, int value);