Added tracefile sequence