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

Revision:
23:f732f7a1db63
Parent:
21:4e300741229d
Child:
25:43e058c2bf8a
diff -r af9dcf379926 -r f732f7a1db63 mbed-os.lib
--- a/mbed-os.lib	Fri Jan 06 07:45:02 2017 +0000
+++ b/mbed-os.lib	Tue Jan 17 11:00:04 2017 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#2885c1b41e63158cb6faf5f107cd821ae06ef26c
+https://github.com/ARMmbed/mbed-os/#34c1facf42a174f47fdf9002cd8c6bf10ac41744