pub type BoxedDitto = Box<Ditto>;