DUMP
%token ADD UPDATE GET GETSPI DELETE DELETEALL FLUSH DUMP EXIT
: DUMP protocol_spec EOT
DUMP(data, mode, len, "dst_sign_data()");
DUMP(data, mode, len, "dst_verify_data()");
#ifdef DUMP
DUMP("modh+modl");
DUMP("ver");
DUMP("id1+id2");
DUMP("id3+id4");