Fixed loadable spec check for $SAFE > 0