good / core003 working with type checking of return statement