reading source code and giving math interpretation

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.

[math]
texttt {So. p is true if } q ; wedge ; r \
texttt{So P is a compound proposition or conjuction.}
[/math]
http://selinuxproject.org/page/Main_Page
http://en.wikipedia.org/wiki/Security-Enhanced_Linux

install.6 [ reading code ]

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.
[latex]
\texttt {So. p is true if } q \; \wedge \; r \\
\texttt{So P is a compound proposition or conjuction.}
[/latex]
http://selinuxproject.org/page/Main_Page
http://en.wikipedia.org/wiki/Security-Enhanced_Linux

install.5 [ reading code ]

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.


http://www.cprogramming.com/tutorial/cpreprocessor.html

http://en.wikipedia.org/wiki/Implication

constants [ PHP ]

<?php
define("constant", "Apple");
echo constant,"\n" ;
?>


http://www.php.net/manual/en/language.constants.php
http://en.wikipedia.org/wiki/Constant_(programming)
[audio:http://www.joshwoodward.com/mp3/TheSimpleLife/JoshWoodward-TheSimpleLife-108-MorningBlue.mp3]
Artist. josh woodward.
This work is licensed under a Creative Commons Attribution 3.0 United States License.

part of original file [ copy.c ]

/* copy.c -- core functions for copying files and directories
   Copyright (C) 89, 90, 91, 1995-2009 Free Software Foundation, Inc.

   This program is free software: you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation, either version 3 of the License, or
   (at your option) any later version.

   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program.  If not, see .  */

/* Extracted from cp.c and librarified by Jim Meyering.  */

 /* To allow copying xattrs on read-only files, temporarily chmod u+rw.
     This workaround is required as an inode permission check is done
     by xattr_permission() in fs/xattr.c of the GNU/Linux kernel tree.  */
  if (x->preserve_xattr)
    {
      bool access_changed = false;

      if (!(sb.st_mode & S_IWUSR) && geteuid() != 0)
        access_changed = fchmod_or_lchmod (dest_desc, dst_name, 0600) == 0;

      if (!copy_attr_by_fd (src_name, source_desc, dst_name, dest_desc, x)
          && x->require_preserve_xattr)
        return_val = false;

      if (access_changed)
        fchmod_or_lchmod (dest_desc, dst_name, dst_mode & ~omitted_permissions);
    }

http://en.wikipedia.org/wiki/Extended_file_attributes
http://sourceforge.net/projects/xattr/

http://www.opengroup.org/onlinepubs/007908799/xsh/fchmod.html