Symbol: decode_sector_number