npfctl_icmptype
| IDENTIFIER { $$ = npfctl_icmptype($<num>-1, $1); }
$$ = npfctl_icmptype($<num>-1, s);
uint8_t npfctl_icmptype(int, const char *);