Tftp: module { PATH: con "/dis/lib/tftp.dis"; init: fn(progress: int, debug: int); receive: fn(host: string, filename: string, fd: ref Sys->FD): (int, string); };