#include <mbed.h>
#include <rtos.h>

class VCNL4000 {
    public:
        unsigned int readProximity();

    private:
        I2C i2c(D14, D15);
};