pub fn interpret( _instance: &SpecInstance, _name: &str, _parameters: Option<Vec<SpecValue>>, ) -> Result<Vec<SpecValue>, String>