variable check for changes
edited example
generate trace from user code
generate trace from user code