Model trace appl impl