some execution tracing statements