1Verify some properties of string operations represented by intrinsics.
2