some String operations, incompletely implemented