micropython/examples/embedding/mpconfigport.h