:0
*$ $DEST
{
  LOG="deliver:     delivering message $MSGID to $DEST$NL"
  :0
  $DEST
}

:0 E
{
  LOG="deliver:     delivering message $MSGID to default destination$NL"
  :0
  $DEFAULT
}