First round of FIAT plugin