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

mbed-os.lib

Committer:
mbed_official
Date:
2018-08-15
Revision:
74:8eaa115f31a3
Parent:
73:00fa8b8f7ebf
Child:
75:b827e32e3e2a

File content as of revision 74:8eaa115f31a3:

https://github.com/ARMmbed/mbed-os/#f8b140f8d7cb226e41486c5df66ac4f3ce699219