Delete eval_args.h