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

Revision:
70:0c5f9561e5b7
Parent:
69:1ff487e9be56
Child:
71:24437f8a77a2
--- a/mbed-os.lib	Fri Jun 15 11:00:02 2018 +0100
+++ b/mbed-os.lib	Tue Jun 19 13:00:02 2018 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#866850acc15e86cd4ac11bf4404078a49f921ddd
+https://github.com/ARMmbed/mbed-os/#03196b244ee00fc748cd4dbfa83b26f3fc0f376b