Vxrun: module { PATH: con "$Vxrun"; run: fn(args: list of string):int; };