added stdlib.string