Might be an interesting problem. Shame the C++ version doesn't have any tests that we could run a port against to verify correctness.