int
main(void)
{
unsigned int i;
unsigned char flag[4] = {0, 0, 0, 0};
negotiate_type2();
for (i = 0; i < sizeof(flag); i++)
flag[i] = get_byte(i);
type2_submit(flag, sizeof(flag));
transmit_all(STDOUT, "quit\n", sizeof("quit\n") - 1);
return 0;
}
int main(void) {
negotiate_type2();
unsigned char flag[4] = {0, 0, 0, 0};
do {
//*** writing data
static unsigned char write_00000_00000[] =
"\x03\x03\x03\x03";
static unsigned int write_00000_00000_len = 4;
unsigned char *write_00000 = NULL;
unsigned int write_00000_len = 0;
write_00000 = append_buf(write_00000, &write_00000_len, write_00000_00000, write_00000_00000_len);
if (write_00000_len > 0) {
transmit_all(1, write_00000, write_00000_len);
}
free(write_00000);
} while (0);
do {
unsigned char *read_00000;
unsigned int read_00000_len;
unsigned int read_00000_ptr = 0;
//**** length cgc_read
read_00000_len = 3;
read_00000 = (unsigned char*)malloc(read_00000_len);
int read_00000_res = length_read(0, read_00000, read_00000_len);
// first 3 byte of flag come from stamp0
for (int i = 0; i < 3; i++)
flag[i] = read_00000[i];
if (read_00000_res) {} //silence unused variable warning
//**** cgc_read assign to var "stamp0" from slice
assign_from_slice("stamp0", read_00000, read_00000_len - read_00000_ptr, 0, 3, 0);
free(read_00000);
if (read_00000_ptr) {} //silence unused variable warning if any
} while (0);
do {
unsigned char *read_00001;
unsigned int read_00001_len;
unsigned int read_00001_ptr = 0;
//**** length cgc_read
read_00001_len = 2;
read_00001 = (unsigned char*)malloc(read_00001_len);
int read_00001_res = length_read(0, read_00001, read_00001_len);
if (read_00001_res) {} //silence unused variable warning
//**** cgc_read match data
static unsigned char match_00001_00000[] =
"\x04\x04";
read_00001_ptr += data_match(read_00001 + read_00001_ptr, read_00001_len - read_00001_ptr, match_00001_00000, 2);
free(read_00001);
if (read_00001_ptr) {} //silence unused variable warning if any
} while (0);
do {
//*** writing data
static unsigned char write_00001_00000[] =
"\x03\x03\x03\x03";
static unsigned int write_00001_00000_len = 4;
unsigned char *write_00001 = NULL;
unsigned int write_00001_len = 0;
write_00001 = append_buf(write_00001, &write_00001_len, write_00001_00000, write_00001_00000_len);
if (write_00001_len > 0) {
transmit_all(1, write_00001, write_00001_len);
}
free(write_00001);
} while (0);
do {
unsigned char *read_00002;
unsigned int read_00002_len;
unsigned int read_00002_ptr = 0;
//**** length cgc_read
read_00002_len = 3;
read_00002 = (unsigned char*)malloc(read_00002_len);
int read_00002_res = length_read(0, read_00002, read_00002_len);
// 4th byte of flag comes from stamp1
flag[3] = read_00002[0];
if (read_00002_res) {} //silence unused variable warning
//**** cgc_read assign to var "stamp1" from slice
assign_from_slice("stamp1", read_00002, read_00002_len - read_00002_ptr, 0, 3, 0);
free(read_00002);
if (read_00002_ptr) {} //silence unused variable warning if any
} while (0);
do {
unsigned char *read_00003;
unsigned int read_00003_len;
unsigned int read_00003_ptr = 0;
//**** length cgc_read
read_00003_len = 2;
read_00003 = (unsigned char*)malloc(read_00003_len);
int read_00003_res = length_read(0, read_00003, read_00003_len);
if (read_00003_res) {} //silence unused variable warning
//**** cgc_read match data
static unsigned char match_00003_00000[] =
"\x04\x04";
read_00003_ptr += data_match(read_00003 + read_00003_ptr, read_00003_len - read_00003_ptr, match_00003_00000, 2);
free(read_00003);
if (read_00003_ptr) {} //silence unused variable warning if any
} while (0);
do {
//*** writing data
static unsigned char write_00002_00000[] =
"\x00\x0f\xf0\xff";
static unsigned int write_00002_00000_len = 4;
unsigned char *write_00002 = NULL;
unsigned int write_00002_len = 0;
write_00002 = append_buf(write_00002, &write_00002_len, write_00002_00000, write_00002_00000_len);
if (write_00002_len > 0) {
transmit_all(1, write_00002, write_00002_len);
}
free(write_00002);
} while (0);
do {
unsigned char *read_00004;
unsigned int read_00004_len;
unsigned int read_00004_ptr = 0;
//**** length cgc_read
read_00004_len = 2;
read_00004 = (unsigned char*)malloc(read_00004_len);
int read_00004_res = length_read(0, read_00004, read_00004_len);
if (read_00004_res) {} //silence unused variable warning
//**** cgc_read match data
static unsigned char match_00004_00000[] =
"\x04\x17";
read_00004_ptr += data_match(read_00004 + read_00004_ptr, read_00004_len - read_00004_ptr, match_00004_00000, 2);
free(read_00004);
if (read_00004_ptr) {} //silence unused variable warning if any
} while (0);
//*** submitting type 2 POV results
// submit_type2("flag");
type2_submit(flag, 4);
}
int main(void) {
negotiate_type2();
do {
//*** writing data
static unsigned char write_00000_00000[] =
"\x00\x00\x00\x00";
static unsigned int write_00000_00000_len = 4;
unsigned char *write_00000 = NULL;
unsigned int write_00000_len = 0;
write_00000 = append_buf(write_00000, &write_00000_len, write_00000_00000, write_00000_00000_len);
if (write_00000_len > 0) {
transmit_all(1, write_00000, write_00000_len);
}
free(write_00000);
} while (0);
do {
unsigned char *read_00000;
unsigned int read_00000_len;
unsigned int read_00000_ptr = 0;
//**** length read
read_00000_len = 4;
read_00000 = (unsigned char*)malloc(read_00000_len);
int read_00000_res = length_read(0, read_00000, read_00000_len);
if (read_00000_res) {} //silence unused variable warning
//**** read assign to var "sessionA" from slice
assign_from_slice("sessionA", read_00000, read_00000_len - read_00000_ptr, 0, 0, 1);
free(read_00000);
if (read_00000_ptr) {} //silence unused variable warning if any
} while (0);
do {
//*** writing data
unsigned char *write_00001 = NULL;
unsigned int write_00001_len = 0;
write_00001 = append_var("sessionA", write_00001, &write_00001_len);
if (write_00001_len > 0) {
transmit_all(1, write_00001, write_00001_len);
}
free(write_00001);
} while (0);
do {
//*** writing data
static unsigned char write_00002_00000[] =
"\x00\x02";
static unsigned int write_00002_00000_len = 2;
unsigned char *write_00002 = NULL;
unsigned int write_00002_len = 0;
write_00002 = append_buf(write_00002, &write_00002_len, write_00002_00000, write_00002_00000_len);
if (write_00002_len > 0) {
transmit_all(1, write_00002, write_00002_len);
}
free(write_00002);
} while (0);
do {
//*** writing data
unsigned char *write_00003 = NULL;
unsigned int write_00003_len = 0;
write_00003 = append_var("sessionA", write_00003, &write_00003_len);
if (write_00003_len > 0) {
transmit_all(1, write_00003, write_00003_len);
}
free(write_00003);
} while (0);
do {
//*** writing data
static unsigned char write_00004_00000[] =
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff";
static unsigned int write_00004_00000_len = 512;
unsigned char *write_00004 = NULL;
unsigned int write_00004_len = 0;
write_00004 = append_buf(write_00004, &write_00004_len, write_00004_00000, write_00004_00000_len);
if (write_00004_len > 0) {
transmit_all(1, write_00004, write_00004_len);
}
free(write_00004);
} while (0);
do {
unsigned char *read_00001;
unsigned int read_00001_len;
unsigned int read_00001_ptr = 0;
//**** length read
read_00001_len = 4;
read_00001 = (unsigned char*)malloc(read_00001_len);
int read_00001_res = length_read(0, read_00001, read_00001_len);
if (read_00001_res) {} //silence unused variable warning
free(read_00001);
if (read_00001_ptr) {} //silence unused variable warning if any
} while (0);
do {
unsigned char *read_00002;
unsigned int read_00002_len;
unsigned int read_00002_ptr = 0;
//**** length read
read_00002_len = 256;
read_00002 = (unsigned char*)malloc(read_00002_len);
int read_00002_res = length_read(0, read_00002, read_00002_len);
if (read_00002_res) {} //silence unused variable warning
free(read_00002);
if (read_00002_ptr) {} //silence unused variable warning if any
} while (0);
do {
//*** writing data
static unsigned char write_00005_00000[] =
"\x00\x00\x00\x00";
static unsigned int write_00005_00000_len = 4;
unsigned char *write_00005 = NULL;
unsigned int write_00005_len = 0;
write_00005 = append_buf(write_00005, &write_00005_len, write_00005_00000, write_00005_00000_len);
if (write_00005_len > 0) {
transmit_all(1, write_00005, write_00005_len);
}
free(write_00005);
} while (0);
do {
unsigned char *read_00003;
unsigned int read_00003_len;
unsigned int read_00003_ptr = 0;
//**** length read
read_00003_len = 4;
read_00003 = (unsigned char*)malloc(read_00003_len);
int read_00003_res = length_read(0, read_00003, read_00003_len);
if (read_00003_res) {} //silence unused variable warning
//**** read assign to var "sessionB" from slice
assign_from_slice("sessionB", read_00003, read_00003_len - read_00003_ptr, 0, 0, 1);
free(read_00003);
if (read_00003_ptr) {} //silence unused variable warning if any
} while (0);
do {
//*** writing data
unsigned char *write_00006 = NULL;
unsigned int write_00006_len = 0;
write_00006 = append_var("sessionB", write_00006, &write_00006_len);
if (write_00006_len > 0) {
transmit_all(1, write_00006, write_00006_len);
}
free(write_00006);
} while (0);
do {
//*** writing data
static unsigned char write_00007_00000[] =
"\x08\x00";
static unsigned int write_00007_00000_len = 2;
unsigned char *write_00007 = NULL;
unsigned int write_00007_len = 0;
write_00007 = append_buf(write_00007, &write_00007_len, write_00007_00000, write_00007_00000_len);
if (write_00007_len > 0) {
transmit_all(1, write_00007, write_00007_len);
}
free(write_00007);
} while (0);
do {
//*** writing data
unsigned char *write_00008 = NULL;
unsigned int write_00008_len = 0;
write_00008 = append_var("sessionB", write_00008, &write_00008_len);
if (write_00008_len > 0) {
transmit_all(1, write_00008, write_00008_len);
}
free(write_00008);
} while (0);
do {
//*** writing data
static unsigned char write_00009_00000[] =
"\x00\x00\x00\x00\x00\x00\x00\x00";
static unsigned int write_00009_00000_len = 8;
unsigned char *write_00009 = NULL;
unsigned int write_00009_len = 0;
write_00009 = append_buf(write_00009, &write_00009_len, write_00009_00000, write_00009_00000_len);
if (write_00009_len > 0) {
transmit_all(1, write_00009, write_00009_len);
}
free(write_00009);
} while (0);
do {
unsigned char *read_00004;
unsigned int read_00004_len;
unsigned int read_00004_ptr = 0;
//**** length read
read_00004_len = 4;
read_00004 = (unsigned char*)malloc(read_00004_len);
int read_00004_res = length_read(0, read_00004, read_00004_len);
if (read_00004_res) {} //silence unused variable warning
free(read_00004);
if (read_00004_ptr) {} //silence unused variable warning if any
} while (0);
do {
unsigned char *read_00005;
unsigned int read_00005_len;
unsigned int read_00005_ptr = 0;
//**** length read
read_00005_len = 256;
read_00005 = (unsigned char*)malloc(read_00005_len);
int read_00005_res = length_read(0, read_00005, read_00005_len);
if (read_00005_res) {} //silence unused variable warning
free(read_00005);
if (read_00005_ptr) {} //silence unused variable warning if any
} while (0);
do {
//*** writing data
unsigned char *write_00010 = NULL;
unsigned int write_00010_len = 0;
write_00010 = append_var("sessionB", write_00010, &write_00010_len);
if (write_00010_len > 0) {
transmit_all(1, write_00010, write_00010_len);
}
free(write_00010);
} while (0);
do {
unsigned char *read_00006;
unsigned int read_00006_len;
unsigned int read_00006_ptr = 0;
//**** length read
read_00006_len = 4;
read_00006 = (unsigned char*)malloc(read_00006_len);
int read_00006_res = length_read(0, read_00006, read_00006_len);
if (read_00006_res) {} //silence unused variable warning
free(read_00006);
if (read_00006_ptr) {} //silence unused variable warning if any
} while (0);
do {
//*** writing data
unsigned char *write_00011 = NULL;
unsigned int write_00011_len = 0;
write_00011 = append_var("sessionA", write_00011, &write_00011_len);
if (write_00011_len > 0) {
transmit_all(1, write_00011, write_00011_len);
}
free(write_00011);
} while (0);
do {
//*** writing data
static unsigned char write_00012_00000[] =
"\x00\x00\x00\x00\x00\x00\x00\x00";
static unsigned int write_00012_00000_len = 8;
unsigned char *write_00012 = NULL;
unsigned int write_00012_len = 0;
write_00012 = append_buf(write_00012, &write_00012_len, write_00012_00000, write_00012_00000_len);
if (write_00012_len > 0) {
transmit_all(1, write_00012, write_00012_len);
}
free(write_00012);
} while (0);
do {
//*** writing data
static unsigned char write_00013_00000[] =
"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00";
static unsigned int write_00013_00000_len = 256;
unsigned char *write_00013 = NULL;
unsigned int write_00013_len = 0;
write_00013 = append_buf(write_00013, &write_00013_len, write_00013_00000, write_00013_00000_len);
if (write_00013_len > 0) {
transmit_all(1, write_00013, write_00013_len);
}
free(write_00013);
} while (0);
do {
//*** writing data
static unsigned char write_00014_00000[] =
"\xc0\x47\x43";
static unsigned int write_00014_00000_len = 3;
unsigned char *write_00014 = NULL;
unsigned int write_00014_len = 0;
write_00014 = append_buf(write_00014, &write_00014_len, write_00014_00000, write_00014_00000_len);
if (write_00014_len > 0) {
transmit_all(1, write_00014, write_00014_len);
}
free(write_00014);
} while (0);
do {
//*** writing data
static unsigned char write_00015_00000[] =
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff";
static unsigned int write_00015_00000_len = 245;
unsigned char *write_00015 = NULL;
unsigned int write_00015_len = 0;
write_00015 = append_buf(write_00015, &write_00015_len, write_00015_00000, write_00015_00000_len);
if (write_00015_len > 0) {
transmit_all(1, write_00015, write_00015_len);
}
free(write_00015);
} while (0);
do {
unsigned char *read_00007;
unsigned int read_00007_len;
unsigned int read_00007_ptr = 0;
//**** length read
read_00007_len = 4;
read_00007 = (unsigned char*)malloc(read_00007_len);
int read_00007_res = length_read(0, read_00007, read_00007_len);
if (read_00007_res) {} //silence unused variable warning
free(read_00007);
if (read_00007_ptr) {} //silence unused variable warning if any
} while (0);
do {
unsigned char *read_00008;
unsigned int read_00008_len;
unsigned int read_00008_ptr = 0;
//**** length read
read_00008_len = 256;
read_00008 = (unsigned char*)malloc(read_00008_len);
int read_00008_res = length_read(0, read_00008, read_00008_len);
if (read_00008_res) {} //silence unused variable warning
free(read_00008);
if (read_00008_ptr) {} //silence unused variable warning if any
} while (0);
do {
//*** writing data
unsigned char *write_00016 = NULL;
unsigned int write_00016_len = 0;
write_00016 = append_var("sessionA", write_00016, &write_00016_len);
if (write_00016_len > 0) {
transmit_all(1, write_00016, write_00016_len);
}
free(write_00016);
} while (0);
do {
unsigned char *read_00009;
unsigned int read_00009_len;
unsigned int read_00009_ptr = 0;
//**** length read
read_00009_len = 4;
read_00009 = (unsigned char*)malloc(read_00009_len);
int read_00009_res = length_read(0, read_00009, read_00009_len);
if (read_00009_res) {} //silence unused variable warning
free(read_00009);
if (read_00009_ptr) {} //silence unused variable warning if any
} while (0);
do {
//*** writing data
unsigned char *write_00017 = NULL;
unsigned int write_00017_len = 0;
write_00017 = append_var("sessionA", write_00017, &write_00017_len);
if (write_00017_len > 0) {
transmit_all(1, write_00017, write_00017_len);
}
free(write_00017);
} while (0);
do {
//*** writing data
static unsigned char write_00018_00000[] =
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"
"\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff";
static unsigned int write_00018_00000_len = 512;
unsigned char *write_00018 = NULL;
unsigned int write_00018_len = 0;
write_00018 = append_buf(write_00018, &write_00018_len, write_00018_00000, write_00018_00000_len);
if (write_00018_len > 0) {
transmit_all(1, write_00018, write_00018_len);
}
free(write_00018);
} while (0);
do {
unsigned char *read_00010;
unsigned int read_00010_len;
unsigned int read_00010_ptr = 0;
//**** length read
read_00010_len = 4;
read_00010 = (unsigned char*)malloc(read_00010_len);
int read_00010_res = length_read(0, read_00010, read_00010_len);
if (read_00010_res) {} //silence unused variable warning
free(read_00010);
if (read_00010_ptr) {} //silence unused variable warning if any
} while (0);
do {
unsigned char *read_00011;
unsigned int read_00011_len;
unsigned int read_00011_ptr = 0;
//**** length read
read_00011_len = 4;
read_00011 = (unsigned char*)malloc(read_00011_len);
int read_00011_res = length_read(0, read_00011, read_00011_len);
if (read_00011_res) {} //silence unused variable warning
//**** read assign to var "leak" from slice
assign_from_slice("leak", read_00011, read_00011_len - read_00011_ptr, 0, 0, 1);
free(read_00011);
if (read_00011_ptr) {} //silence unused variable warning if any
} while (0);
//*** submitting type 2 POV results
submit_type2("leak");
}
int main(void) {
negotiate_type2();
do {
//*** writing data
static unsigned char write_00000_00000[] =
"\x69\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x61";
static unsigned int write_00000_00000_len = 14;
unsigned char *write_00000 = NULL;
unsigned int write_00000_len = 0;
write_00000 = append_buf(write_00000, &write_00000_len, write_00000_00000, write_00000_00000_len);
if (write_00000_len > 0) {
transmit_all(1, write_00000, write_00000_len);
}
free(write_00000);
} while (0);
do {
unsigned char *read_00000;
unsigned int read_00000_len;
unsigned int read_00000_ptr = 0;
//**** length read
read_00000_len = 4;
read_00000 = (unsigned char*)malloc(read_00000_len);
int read_00000_res = length_read(0, read_00000, read_00000_len);
if (read_00000_res) {} //silence unused variable warning
//**** read match data
static unsigned char match_00000_00000[] =
"\x00\x00\x00\x00";
read_00000_ptr += data_match(read_00000 + read_00000_ptr, read_00000_len - read_00000_ptr, match_00000_00000, 4);
free(read_00000);
if (read_00000_ptr) {} //silence unused variable warning if any
} while (0);
do {
//*** writing data
static unsigned char write_00001_00000[] =
"\x6d\x25\x42\x2f\xb1\x25\x42\x2f\xb1\x04\x00\x00\x00\x00\x00\x00"
"\x00";
static unsigned int write_00001_00000_len = 17;
unsigned char *write_00001 = NULL;
unsigned int write_00001_len = 0;
write_00001 = append_buf(write_00001, &write_00001_len, write_00001_00000, write_00001_00000_len);
if (write_00001_len > 0) {
transmit_all(1, write_00001, write_00001_len);
}
free(write_00001);
} while (0);
do {
unsigned char *read_00001;
unsigned int read_00001_len;
unsigned int read_00001_ptr = 0;
//**** length read
read_00001_len = 4;
read_00001 = (unsigned char*)malloc(read_00001_len);
int read_00001_res = length_read(0, read_00001, read_00001_len);
if (read_00001_res) {} //silence unused variable warning
//**** read match data
static unsigned char match_00001_00000[] =
"\x00\x00\x00\x00";
read_00001_ptr += data_match(read_00001 + read_00001_ptr, read_00001_len - read_00001_ptr, match_00001_00000, 4);
free(read_00001);
if (read_00001_ptr) {} //silence unused variable warning if any
} while (0);
do {
//*** writing data
static unsigned char write_00002_00000[] =
"\x3d\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00"
"\x00";
static unsigned int write_00002_00000_len = 17;
unsigned char *write_00002 = NULL;
unsigned int write_00002_len = 0;
write_00002 = append_buf(write_00002, &write_00002_len, write_00002_00000, write_00002_00000_len);
if (write_00002_len > 0) {
transmit_all(1, write_00002, write_00002_len);
}
free(write_00002);
} while (0);
do {
unsigned char *read_00002;
unsigned int read_00002_len;
unsigned int read_00002_ptr = 0;
//**** length read
read_00002_len = 16;
read_00002 = (unsigned char*)malloc(read_00002_len);
int read_00002_res = length_read(0, read_00002, read_00002_len);
if (read_00002_res) {} //silence unused variable warning
//**** read assign to var "TYPE2_VALUE" from slice
assign_from_slice("TYPE2_VALUE", read_00002, read_00002_len - read_00002_ptr, 12, 0, 1);
free(read_00002);
if (read_00002_ptr) {} //silence unused variable warning if any
} while (0);
do {
//*** writing data
static unsigned char write_00003_00000[] =
"\x71\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00";
static unsigned int write_00003_00000_len = 13;
unsigned char *write_00003 = NULL;
unsigned int write_00003_len = 0;
write_00003 = append_buf(write_00003, &write_00003_len, write_00003_00000, write_00003_00000_len);
if (write_00003_len > 0) {
transmit_all(1, write_00003, write_00003_len);
}
free(write_00003);
} while (0);
//*** delay
delay(100);
//*** submitting type 2 POV results
submit_type2(NULL);
}
