static int selinux_enabled = 0;
The value of variable “selinux_enabled” is
constant 0 of integer type which is not allowed to change.
value of selinux_enabled is constant 0 is Proposition p.
variable selinux_enabled is of type integer is Proposition q .
value of selinux_enabled is not allowed to change is Proposition r.
http://selinuxproject.org/page/Main_Page
http://en.wikipedia.org/wiki/Security-Enhanced_Linux
For the spirit of the LORD fills the world,
all-embracing, and knows what man says.
Wisdom 1:7
#if HAVE_SYS_WAIT_H # include <sys/wait.h> #endif
Implication. If p then q.
[math] { p \; \Rightarrow \; q } [/math]
If HAVE_SYS_WAIT_H is true (nonzero value) then compile the following line(compilation of #include <sys/wait.h>) will be done.
In swaddling clothes and with constant care I was nurtured.
Wisdom 7:4
#define AUTHORS proper_name ("David MacKenzie")
Proposition.
The value of AUTHORS is a function of proper_name.
I think it is a Constant Function.
http://en.wikipedia.org/wiki/Constant_function
For no king has any different origin or birth,
but one is the entry into life for all; and in one same way they leave it.
Wisdom 7:5-6
#define PROGRAM_NAME "install"
Proposition.
the value of PROGRAM_NAME is install
install function = function to copy + function to set attributes.
Beautiful Work 