Seems it only generates C source so it won't be easy to integrate with PBP, or am I missing something?

/Henrik.