File_read functions, fixed Data_equals, safer Byte printf format