Test was taken from src/test/harmony-1654 Test2.java