Flies with pid
Crazyflie flies with 3 Whiley generated modules :-)