withArgs is:exact

withArgs args act - while executing action act, have getArgs return args.
Unlifted withArgs.
withArgs args act - while executing action act, have getArgs return args.