unsigned char query_tcl[] = {
  0x28, 0x70, 0x72, 0x6f, 0x63, 0x65, 0x64, 0x75, 0x72, 0x65, 0x0a, 0x20,
  0x20, 0x22, 0x70, 0x72, 0x6f, 0x63, 0x22, 0x20, 0x40, 0x66, 0x74, 0x79,
  0x70, 0x65, 0x0a, 0x20, 0x20, 0x6e, 0x61, 0x6d, 0x65, 0x3a, 0x20, 0x28,
  0x5f, 0x29, 0x20, 0x40, 0x66, 0x6e, 0x61, 0x6d, 0x65, 0x0a, 0x20, 0x20,
  0x61, 0x72, 0x67, 0x75, 0x6d, 0x65, 0x6e, 0x74, 0x73, 0x3a, 0x20, 0x28,
  0x61, 0x72, 0x67, 0x75, 0x6d, 0x65, 0x6e, 0x74, 0x73, 0x29, 0x20, 0x40,
  0x66, 0x70, 0x61, 0x72, 0x61, 0x6d, 0x73, 0x29, 0x0a
};
unsigned int query_tcl_len = 81;