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