All the test cases except test04.dats work fine.