def get_trace_reader(args): return trace.read_file(args.tracefile)
def get_trace_reader(args): return trace.read_file(args.tracefile)
def get_trace_reader(args): return trace.read_file(args.tracefile)
def get_trace_reader(args): return trace.read_file(args.tracefile)