-- adding first test.check test