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

Revision:
58:d69d9e148365
Parent:
56:67611bfa061f
Child:
59:4c739d732e0d
diff -r 98afe5d5ae5c -r d69d9e148365 mbed-os.lib
--- a/mbed-os.lib	Thu Jan 18 12:45:02 2018 +0000
+++ b/mbed-os.lib	Wed Jan 31 07:45:02 2018 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#96d9a00d0a1d25095b330095fa81c40f7741777c
+https://github.com/ARMmbed/mbed-os/#caeaa49d68c67ee00275cece10cd88e0ed0f6ed3