/platforms/chibios/converters/elite_c_to_elite_pi/