SECURITY: a second negative store guard