From the blog post: https://github.com/wuxx/TD4-4BIT-CPU