Number of parameters: 3

Usage:
	rotate_right <output> <value> <amount>

Effect:
	Sets <output> to <value> rotated to the right <amount> bits

Exceptions:
	None