coral_reef leaks