`return` is fine