https://alandroidnet.com/dev/CBMC