args.rs: use `tail` instead of `slice`