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

Revision:
48:c0e9192885c6
Parent:
47:54bd97f836f3
Child:
49:7f15ac2a78f5
--- a/mbed-os.lib	Mon Oct 02 12:30:03 2017 +0100
+++ b/mbed-os.lib	Mon Oct 09 10:15:05 2017 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#cc7556a92fb9320f4bebb190c6e1315af116c50c
+https://github.com/ARMmbed/mbed-os/#6e0d01cd13e8aca7bf4d697c3699ec9225386881