filename__write_int 540 tools/lib/api/fs/fs.c return filename__write_int(path, value); filename__write_int 36 tools/lib/api/fs/fs.h int filename__write_int(const char *filename, int value);