Bricktronics library for ultrasonic sensor