output arguments for debugging