int-example passed all of the tests; should work