pack_port_range
val32 = pack_port_range(40222, 40111);
val64 = pack_port_range(40333, 40444);
range = pack_port_range(t->range_lo, t->range_hi);
range = pack_port_range(t->range_lo, t->range_hi);
range = pack_port_range(40000, 40007);
range = pack_port_range(40000, 40007);
range = pack_port_range(40100, 40199);
range = pack_port_range(12345, 54321);
range = pack_port_range(0, 0);