# Get a number from STDIN

# Clobbers registers
get_user_integer:
	seti [STRING_STORAGE]

seti %A $0;
seti %B $100;
int $5;