Ida: module{	PATH: con "/dis/lib/ida/ida.dis"; 	Frag: adt {		dlen:	int;	# length of original data		m:	int;	# minimum pieces for reconstruction		a:	array of int;	# encoding array row for this fragment		enc:	array of int;	# encoded data 		tag:	array of byte;	# user data, such as SHA1 hash	}; 	init:	fn();	fragment:	fn(data: array of byte, m: int): ref Frag;	consistent:	fn(frags: array of ref Frag): array of ref Frag;	reconstruct:	fn(frags: array of ref Frag): (array of byte, string);}; Idatab: module{	PATH: con "/dis/lib/ida/idatab.dis";	init:	fn(): array of int;};