ref: 354b56d6bfdca067a6f04a39c4ce4bc9c0160861 dir: /module/newns.m/
Newns: module { PATH: con "/dis/lib/newns.dis"; newns: fn(user: string, nsfile: string): string; newuser: fn(user: string, cap: string, nsfile: string): string; };