for debugging: add show_args()