The Dinosaur Empire in Magma.