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

Revision:
39:bcfaadc319d3
Parent:
38:b33ed55e5bbb
Child:
40:d4500ea4f3aa
diff -r b33ed55e5bbb -r bcfaadc319d3 mbed-os.lib
--- a/mbed-os.lib	Tue Jun 20 11:00:02 2017 +0100
+++ b/mbed-os.lib	Thu Jun 22 09:00:02 2017 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#3179b1cffddea0f0feed1dd551b0e7dc946c12f5
+https://github.com/ARMmbed/mbed-os/#c9e63f14085f5751ff5ead79a7c0382d50a813a2