Args.End (gb.args)

Terminate the program argument analysis, and return all arguments that could not be interpreted as an option or an option argument.

These arguments usually are the files the program must open or process.