Source code of "arduino/ce_09_ev3_infrared_proximity/ce_09_ev3_infrared_proximity.ino"