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

Revision:
79:ba828995f32d
Parent:
78:fd6440fb9e59
Child:
80:3996c42f7d49
diff -r fd6440fb9e59 -r ba828995f32d mbed-os.lib
--- a/mbed-os.lib	Tue Oct 09 15:15:03 2018 +0100
+++ b/mbed-os.lib	Mon Oct 22 08:00:02 2018 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#c53d51fe9220728bf8ed27afe7afc1ecc3f6f5d7
+https://github.com/ARMmbed/mbed-os/#e1bea44212b8275f7d8ce7253e758c2e25c57482