Symbol: read_disk_sb