Utilities to help the C++ animat code use the PyPhi library.