npfctl_icmpcode
npfctl_icmpcode($<num>0, $2, $4));
npfctl_icmpcode($<num>0, $2, s));
uint8_t npfctl_icmpcode(int, uint8_t, const char *);