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