pub trait Program: MachineDotfile { fn run(&mut self); fn dotfile() -> String where Self: Sized, { ... } }