do we want unreachable code after the return statement?