[
	INT(0)
	INT(0)
	INT(0)
	INT(1)
	INT(1)
	INT(-1)
	INT(42)
	INT(42)
	INT(-42)
	INT(9223372036854775807)
	INT(9223372036854775807)
	INT(-9223372036854775808)
]
