test large ints
exact boundaries and multi annotation examples
errors
weird double errors
test pass