"timing" string operations, chap12