#include "pxt.h" namespace sensors { /** * Mark a sensor as used */ //% void __sensorUsed(int port, int type) { } }