python小工具——字符串转C语言数组