implement TaskExecutor.args()