The mbeddr core. An extensible C