"audit_enabled=%d old=%d by auid %u", 
"audit_enabled=%d old=%d by auid=%u", 
static int audit_set_enabled(int state, uid_t loginuid){	int old		 = audit_enabled;	if (state != 0 && state != 1)		return -EINVAL;	audit_enabled = state;	audit_log(NULL, AUDIT_CONFIG_CHANGE,			"audit_enabled=%d old=%d by auid %u",			audit_enabled, old, loginuid);	return old;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/bccf6ae083318ea08094d6ab185fdf7c49906b3a/audit.c/buggy/kernel/audit.c