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