Este es el que funciona, de momento. No está probado con muchos valores de entradas. Falta probar eso.

Revision:
10:c4bec1c9b715
Parent:
9:dd27ad588fe2
Child:
11:0fa38cb22ea9
--- a/mbed-os.lib	Fri Aug 19 23:45:05 2016 +0100
+++ b/mbed-os.lib	Sat Aug 20 00:00:05 2016 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#0993ae540c5c4b5ce3004bead1aefc0c6d1b3ea0
+https://github.com/ARMmbed/mbed-os/#d2202045ac8f2fc63836a5b7131c9b56ac58f06a