Adding models extracted using flata-c