Profiles are the incremental approach to making code provide more safety guarantees, beyond what can be accomplished by modifying the base language.