Parameters

char *file is the name of the file to be written.

int i is the integer to write.