add test case, ascription for return values