//TODO: add some useful test cases