File content as of revision 3:bce615e05c62:

#include "mbed.h"
#include "WakeUp.h"
InterruptIn event(USER_BUTTON);
DigitalOut myled(LED1);

int go_to_sleep = 0;

void pressed()
{
    printf("Button pressed\n");
    go_to_sleep = go_to_sleep + 1;
    if (go_to_sleep > 3) go_to_sleep = 0;

}

int main()
{
     set_time(1495040081);  // Set RTC time to Wed, 28 Oct 2009 11:35:37
    int i = 0;

    printf("\nPress Button to enter/exit sleep & deepsleep\n");

    event.fall(&pressed);

    while (1) {
                  
                  
        time_t seconds = time(NULL);
        printf("Time = %s", ctime(&seconds));
 
        char buffer[32];
        strftime(buffer, 32, "%I:%M %p\n", localtime(&seconds));
  
       


 WakeUp::set_ms(10000);
       // if (go_to_sleep == 3) {
            myled = 0;
            printf("%d: Entering deepsleep (press user button to resume)\n", i);
            deepsleep();
        //}

        i++;
    }
}