restore get_args definition that was mistakenly deleted