BONDING_MASTER='yes'
BONDING_MODULE_OPTS='mode=balance-rr miimon=100'
BONDING_SLAVE0='eth0'
BONDING_SLAVE1='eth1'
BONDING_SLAVE2='eth2'
BONDING_SLAVE3='eth3'
BOOTPROTO='none'
BROADCAST=''
ETHTOOL_OPTIONS=''
IPADDR=''
MTU=''
NAME=''
NETMASK=''
NETWORK=''
PREFIXLEN=''
REMOTE_IPADDR=''
STARTMODE='auto'
Поэтому Голуб - авторитет, а над мечтами Дейкстры (в частности, о доказуемости программ) остается только сдержанно посмеяться, так как идеальных спецификаций даже на конкретную реализацию стандартной библиотеки нет. А без таковых и доказывать нечего.