A.check(uint256) compares a variable to itself:
	(a >= a)

