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

Revision:
71:24437f8a77a2
Parent:
70:0c5f9561e5b7
Child:
72:6d94d755fbb0
--- a/mbed-os.lib	Tue Jun 19 13:00:02 2018 +0100
+++ b/mbed-os.lib	Mon Jul 02 10:45:02 2018 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#03196b244ee00fc748cd4dbfa83b26f3fc0f376b
+https://github.com/ARMmbed/mbed-os/#62f8b922b420626514fd4690107aff4188469833