write tests using tinytest