type_is_pkt_pointer
if (type_is_pkt_pointer(t)) {
return type_is_pkt_pointer(reg->type);
if (type_is_pkt_pointer(type) &&