https://icinfra.cn/posts/ade-verifier-generating-and-using-batch-scripts-(video)/