function return type check