Seeing the title I thought about the python type-checker Pyre

I read the title and thought it was about C++ iterop.

Don't give them any ideas.