added a small test case to measure type checking