pxt-ev3/libs/infrared-sensor/test.ts