circuitpython/examples/natmod/features2/prod.h