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

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

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

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

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

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