 Fossil gastroliths have been found associated with both ornithopods and sauropods, though whether they actually functioned as a gastric mill in the latter is disputed.Salt water crocodiles also use gastroliths as ballast, stabilizing them in the water or helping them to dive.A dual function as both stabilizing ballast and digestion aid has been suggested for gastroliths found in plesiosaurs.