I would like to treat a user as a non-gender noun and refer to it with the gender-neutral pronoun, *it*. E.g.,

> 
> **The user** defines two variables, x and y. **It** then multiplies each variable by a prime number. 
> 
> 
> 

However, on [Wikipedia](http://en.wikipedia.org/wiki/Gender-neutral_pronoun) I found this: 

> 
> The word "it", however, has an extremely impersonal connotation, even offensive, in common usage and is rarely used in English to refer to an unspecified human being or person of unknown gender. This is because the word "it" connotes that the person being specified is inferior to a person or is an object.
> 
> 
> 

Is to appropriate to refer to a person of unknown sex as *it*?

Should I rephrase my sentence as follows:

> 
> **The user** defines two variables, x and y. **The user** then multiplies each variable by a prime number. 
> 
> 
>