edit stdlib/String