#include "mbed.h"

Serial pc(SERIAL_TX, SERIAL_RX); // for UI control

Ticker COUNT;

DigitalOut led1(LED1);
AnalogIn analog_value(A0);

uint16_t GLOBAL_TIME = 0;

void next()
{
    GLOBAL_TIME++;
}

int main()
{
    uint16_t AD_COUNT=0;

    COUNT.attach(&next, 1);

    while (true) {
        uint16_t PREV_TIME;
        AD_COUNT=0;
        PREV_TIME=GLOBAL_TIME;
        do {
            analog_value.read();
            AD_COUNT++;
        } while (PREV_TIME == GLOBAL_TIME);
        pc.printf("AD Count %d\n",AD_COUNT);
        led1 = !led1;
    }
}