> Given the structure of the system, it seems that rewriting the C library was entirely unnecessary; nobody above the framework makes any sort of direct use of it anyway.
The last part isn't true - the NDK allows direct use of the C library, and any application which does any sort of serious data processing needs it.