Hassel-c assumes that out ports are sorted. Explains why we weren't seeing any
output!