slight change for *after* trace generator