Include and export read_records