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

Revision:
99:394543729870
Parent:
97:d180a47a5804
Child:
101:130fd2e532f0
diff -r f2d7e14c84a1 -r 394543729870 mbed-os.lib
--- a/mbed-os.lib	Wed Sep 04 12:00:04 2019 +0100
+++ b/mbed-os.lib	Tue Oct 01 11:00:04 2019 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#5941d1718339116cd12914238ec331c84da3d08f
+https://github.com/ARMmbed/mbed-os/#b6e5a0a8afa34dec9dae8963778aebce0c82a54b