Free B S D 7v 8

FreeBSD 7.2 compared to 8.0 without invariants/witness./j #