A reverse engineering of the sas7bdat database file format