Adding ADSafe unannotated code