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

Revision:
106:d323dd088ba2
Parent:
102:6979ad8bc0bc
--- a/mbed-os.lib	Tue Nov 19 15:00:03 2019 +0000
+++ b/mbed-os.lib	Fri Nov 22 16:00:04 2019 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#679d24833acf0a0b5b0d528576bb37c70863bc4e
+https://github.com/ARMmbed/mbed-os/#cf4f12a123c05fcae83fc56d76442015cb8a39e9