mbed BLE API from http://mbed.org/teams/Bluetooth-Low-Energy/code/BLE_API/