test_sk_restore
test_sk_restore("TCP-AO migrate to another socket (client)", port++,
test_sk_restore("TCP-AO with wrong send ISN (client)", port++,
test_sk_restore("TCP-AO with wrong receive ISN (client)", port++,
test_sk_restore("TCP-AO with wrong send SEQ ext number (client)",
test_sk_restore("TCP-AO with wrong receive SEQ ext number (client)",
sk = test_sk_restore(&img, &ao_img, &saddr, this_ip_dest,
sk = test_sk_restore(&img, &ao_img, &saddr, this_ip_dest,