withArgs package:ghc-internal

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