ref: 5eb0d57733fe7db870841fe1b81a2f3c106d4e57 dir: /sys/lib/plumb/fileaddr/
addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])' addr=:($addrelem([,;+\-]$addrelem)*)