:0
*$ DEST ?? ^$NULL$
{
  LOG="deliver:     sending message $MSGID to $DEST$NL"

  :0
  $NULL
}

:0
* ! DEST ?? .
{ DEST=/ }

:0
* DEST ?? .+[^/]$
{ DEST="$DEST/" }

:0
*$ DEST ?? ^$BASE/\/.+
{ DEST="$MATCH" }

:0
*$ ! DEST ?? ^\.
{ DEST=".$DEST" }

:0
* MARK_READ ?? .
{
  LOG="deliver:     marking messages $MSGID as read because of $MARK_READ$NL"
  TRAP="$TRAP; BASENAME=\"\${DESTFILE##*/}:2,S\""
  TRAP="$TRAP; DIRNAME=\"\${DESTFILE%/new/*}/cur\""
  TRAP="$TRAP; DESTFILE=\"\$DIRNAME/\$BASENAME\""
  TRAP="$TRAP; mv \"\$LASTFOLDER\" \"$BASE/\$DESTFILE\""
}

:0
{
  LOG="deliver:     delivering message $MSGID to $DEST$NL"
  TRAP="$TRAP; echo \"delivered:   \$DESTFILE\" >> '$THISLOGFILE'"

  :0
  $BASE/$DEST
}