Symbol: __aeabi_ulcmp