Return statements can now be "empty", in which case null will be returned.