NAME
	read_bytes - read a number of bytes into a string from a file

SYNTAX
	string read_bytes(string file,int start,int len);

DESCRIPTION
	Read len number of bytes from file file staring at byte start and
	return it as a string. Note that the string will _not_ be shortened
	if any zeroes are enountered. Note that you cannot read more than
	50Kb at a time, except when in script mode, when no such limits
	are imposed.

SEE ALSO
	read_file, write_bytes