An experimental Tiny86 decoder and verifier for SIEVE - View it on GitHub