Function trust_sites 

fn trust_sites() -> usize

external_body attributes and assume( calls in the verified crates (Kani’s input bounds, kani::assume, are not trust).