#include <stdio.h>

#include <selinux/selinux.h> 

#include <selinux/avc.h> 

int main(__attribute__((unused)) int argc, __attribute__((unused)) char **argv) {

    printf("(before open) selinux_status_getenforce %d\n",

        selinux_status_getenforce());

    printf("(before open) selinux_status_policyload %d\n",

        selinux_status_policyload());

    printf("(before open) selinux_status_deny_unknown %d\n",

        selinux_status_deny_unknown());

    printf("(before open) selinux_status_updated %d\n",

        selinux_status_updated());

    printf("selinux_status_open %d\n",

        selinux_status_open(1));

    printf("selinux_status_getenforce %d\n",

        selinux_status_getenforce());

    printf("selinux_status_policyload %d\n",

        selinux_status_policyload());

    printf("selinux_status_deny_unknown %d\n",

        selinux_status_deny_unknown());

    printf("selinux_status_updated %d\n",

        selinux_status_updated());

    printf("selinux_status_close void\n");

    selinux_status_close();

    return 0;

}