A few comments for take_by_pointer