added to stdlib.string.*