A bug in the C generation, but the ITrace code infrastructure surrounding that should be working.