git: 9front

ref: 79efc5604f1df979bd1a1f5c0ee8d1d7e8bf2b61
dir: /sys/lib/plumb/fileaddr/

View raw version
addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
addr=:($addrelem([,;+\-]$addrelem)*)