type check in test code.