the most embarrassingly awful code for converting testmachine programs into pure intmap examples with no testmachine dependencies