Some of them might not be correctly handled.
I put /* TODO: XXX */ where I didn't know if
the fix was correct.