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-05-02
Revision:
65:caf630d9c605
Parent:
64:7091d1363acd
Child:
66:e408ae75c632

File content as of revision 65:caf630d9c605:

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