migrate ex1 tests, bugs