Delve into low-level RISC Zero machine - View it on GitHub