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:
2017-10-24
Revision:
49:7f15ac2a78f5
Parent:
48:c0e9192885c6
Child:
50:84f446a84793

File content as of revision 49:7f15ac2a78f5:

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