changed to make use of the new __SMACK macro