The code produces and executable which I haven't yet tested