string renamed to pp_string to prevent collision with the type string