#include "mbed.h"
Serial pc(USBTX, USBRX);    
int main() {
unsigned int Interface[5] = {58,0,0,0,0};
typedef void (*CallMe)(unsigned int[],unsigned int[]);
CallMe CallMe_entry=(CallMe)0x1FFF1FF1;
CallMe_entry(Interface, Interface);
if (!Interface[0])
    pc.printf("Serial Number is: %0.8X%0.8X%0.8X%0.8X\r\n", 
        Interface[1], Interface[2], Interface[3], Interface[4]);
else
    pc.printf("Unable to retrieve Serial Number from LPC Flash\r\n");
}