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

Revision:
33:1f9c4999fab2
Parent:
32:19ac154228ba
Child:
34:7e1d08fa7968
--- a/mbed-os.lib	Wed Mar 29 18:00:05 2017 +0100
+++ b/mbed-os.lib	Mon Apr 10 17:30:03 2017 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#50b3418e45484ebf442b88cd935a2d5355402d7d
+https://github.com/ARMmbed/mbed-os/#42be5c01a7f91292d5e27124ad9584236025f6ab