Plcsim V18 ⟶ 〈TRUSTED〉