:0
*$ ^$DEJAVU_HEADER: $ID
{
  LOG="dejavu:      re-processing message $MSGID$NL"
  MSG_DEJAVU
}