added test_TypeDefInt