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

Revision:
44:b2244fb266b2
Parent:
43:f8fc29d58d3c
Child:
45:d007f1c934db
--- a/mbed-os.lib	Mon Aug 14 15:00:02 2017 +0100
+++ b/mbed-os.lib	Wed Aug 30 16:45:02 2017 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#db4be94693c3a873cfa0c025a5ad2e62b86a8474
+https://github.com/ARMmbed/mbed-os/#98ba8acb83cfc65f30a8a0771a27c71443ab093a