SMACK_PTRACE_DEFAULT
int smack_ptrace_rule = SMACK_PTRACE_DEFAULT;
if (i < SMACK_PTRACE_DEFAULT || i > SMACK_PTRACE_MAX)