pikapython/package/PikaStdLib/PikaStdData_String_Util.h