Code de "Sub-single-instruction Peano to machine integer conversion" - View it on GitHub