https://asplos.dev/wordpress/2020/10/21/wang-luo-lian-lu-ceng-lu-you-suan-fa-zong-jie/