CBMC Create MAP

(DEFINE YOUR BASIC MAP PROFILE)