文本文件  |  2行  |  71 B

Verify some properties of string operations represented by intrinsics.