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