Make the 1axx3 tests simpler
Make the 1axx4 tests simpler