pub fn list() -> Vec<Inst>