add FADBAD in the Simulator