Corpus for sendmsg$AUDIT_USER_AVC:

Coverage	Program