function::set_user_int - Writes an int value to user memory
The user address to write the int to
The int which is to be written
Writes the int value to a given user memory address. Reports an error when writing to the given address fails. Requires the use of guru mode (-g).