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