File content as of revision 3:5175e53017e4:

#include "mbed.h"
#define DEBUG 1
#include "ESP8266Interface.h"
#include "UDPSocket.h"
#include "Endpoint.h"

RawSerial pc(USBTX, USBRX); // tx, rx
ESP8266Interface wifi(D1,D0,D10,"demossid","password",115200); // TX,RX,Reset,SSID,Password

UDPSocket server;
bool UDP_blocking = false;
unsigned int UDP_timeout = 100;

uint8_t macbytes[6] = {0};
char MAC[20] = "665544332211";

int main()
{
    pc.baud(115200);
    int check = 0;
    pc.printf("\n\rSystemCoreClock=: %d", SystemCoreClock / 1000000) ;

    // Init ESP8266
    pc.printf("\r\nwifi.init: ");
    check = wifi.init(); // initialize the interface, reset the module
    pc.printf("%d",check);

    // Initialize Socket
    pc.printf("\r\nwifi.connect: ");
    check = wifi.connect(); // join AP and get DHCP settings
    pc.printf("%d",check);

//    printf("\r\nsocket init: ");
//    check = server.init();
//    printf("%d",check);
//
//    printf("\r\nsocket bind: ");
//    check = server.bind(0);
//    printf("%d",check);
//
//    printf("\r\nset blocking option");
//    server.set_blocking(UDP_blocking, UDP_timeout);
    wifi.sendCommand("AT+CWJAP?", NULL, NULL, 1000);

    check = wifi.is_connected();
    pc.printf("\r\nwifi connected: %d,\r\n",check);

    char * ip = NULL;
    ip = wifi.getIPAddress();
    pc.printf("\n\rIP = %s \n\r",ip);

    pc.printf("\r\nStarting while1 loop\r\n");
    while(1) {
        if(pc.readable()) {
            char c = pc.getc();
            //pc.putc(c); // echo character back to computer for sanity
            wifi.putc(c);
        }
        if(wifi.readable()) {
            char c = wifi.getc();
            pc.putc(c);
        }
    }
}