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