STLString: checks advice weaving for the STL string class ========================================================= calling void foo(<<>>) in foo(this is a string) msg: sig | file | 42 caught test exception: ignore me =========================================================