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

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

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

:0
*$ DEST ?? ^\.
{ }

:0 E
{ DEST=".$DEST" }

TRAP="$TRAP; echo \"delivered:   \$DESTFILE\" >> '$THISLOGFILE'"

LOG="deliver:     delivering message $MSGID to $DEST$NL"
:0
$BASE/$DEST