Using get_string for safer string reads