Source position: nicmp6h.inc line 119
type nd_opt_hdr = record
nd_opt_type: uint8_t;
nd_opt_len: uint8_t;
end;