with trace