ref: ad5a80bfb081dc954be03836cc65090e0f6c7e4f 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; };