micropython/ports/esp8266/modnetwork.h