Added test file for Int.align