@nedbat I've got your point. But it is also not obvious why we are returning "null"