A diver who was mauled by a 4-meter bull shark near the Great Barrier Reef was flown in stable condition to an Australian hospital for microsurgery to an arm, a paramedic said Sunday. The 55-year-old man had been free diving with friends in the Torres Strait from a boat chartered from the Queensland state city of Cairns when the shark attacked on Saturday afternoon, paramedic David Cameron said.