include the mbed library with this snippet

#include "easyspin.h"
#include "mbed.h"

Easyspin myEasyspin;

Serial pc(SERIAL_TX, SERIAL_RX);

void MyFlagInterruptHandler(void);

int main()
{
    /* Start the Easyspin library to use 2 shields x-NUCLEO-IHM01A1 */
    /* The Easyspins registers are set with the predefined values */
    /* from file Easyspin_target_config.h*/
    myEasyspin.Begin(2);

    /* Attach the function MyFlagInterruptHandler (defined below) to the flag interrupt */
    myEasyspin.AttachFlagInterrupt(MyFlagInterruptHandler);

    /* Set Current position to be the home position for shield 0 */
    myEasyspin.SetHome(0);

    /* Set Current position to be the home position for shield 1 */
    myEasyspin.SetHome(1);

    while(1) {
        myEasyspin.Move(0, FORWARD, 10000);
        myEasyspin.Move(1, BACKWARD, 10000);
        myEasyspin.WaitWhileActive(0);
        myEasyspin.WaitWhileActive(1);
        wait_ms(100);
        myEasyspin.Move(1, FORWARD, 10000);
        myEasyspin.Move(0, BACKWARD, 10000);
        myEasyspin.WaitWhileActive(0);
        myEasyspin.WaitWhileActive(1);
        wait_ms(100);
    }
}

void MyFlagInterruptHandler(void)
{
    /* Get status of device 0 */
    /* this will clear the flags */
    uint16_t statusRegister = myEasyspin.CmdGetStatus(0);
    pc.printf("cmd1 =  %d;", statusRegister);
    /* Get status of device 1 */
    /* this will clear the flags */
    statusRegister = myEasyspin.CmdGetStatus(1);
    pc.printf("cmd2 =  %d;", statusRegister);
}