guest_ins_port80
guest_ins_port80(buffer, 2);
guest_ins_port80(buffer, 3);
guest_ins_port80(buffer, 8192);