Symbol: sadb_labelchk