stable: string.hpp