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