bellard	https://bellard.org/
smilejing	https://smilejing.cn/