Crazyflie flies with 3 Whiley generated modules :-)