1unsigned char query_tcl[] = {
 2  0x28, 0x70, 0x72, 0x6f, 0x63, 0x65, 0x64, 0x75, 0x72, 0x65, 0x0a, 0x20,
 3  0x20, 0x22, 0x70, 0x72, 0x6f, 0x63, 0x22, 0x20, 0x40, 0x66, 0x74, 0x79,
 4  0x70, 0x65, 0x0a, 0x20, 0x20, 0x6e, 0x61, 0x6d, 0x65, 0x3a, 0x20, 0x28,
 5  0x5f, 0x29, 0x20, 0x40, 0x66, 0x6e, 0x61, 0x6d, 0x65, 0x0a, 0x20, 0x20,
 6  0x61, 0x72, 0x67, 0x75, 0x6d, 0x65, 0x6e, 0x74, 0x73, 0x3a, 0x20, 0x28,
 7  0x61, 0x72, 0x67, 0x75, 0x6d, 0x65, 0x6e, 0x74, 0x73, 0x29, 0x20, 0x40,
 8  0x66, 0x70, 0x61, 0x72, 0x61, 0x6d, 0x73, 0x29, 0x0a
 9};
10unsigned int query_tcl_len = 81;