string public_empty_string
