More stuff while exploring the ev3 code