global cache for mk_not