add real execution tracing to debug