Symbol: read_scsi32