Type:	int
	64-bit integer
Name:	user_version
	a user version number for this machine

Field is read-write

• int get_user_version (session session_id, VM self)

  Get the user_version field of the given VM.

• void set_user_version (session session_id, VM self, int value)

  Set the user_version field of the given VM.