This is the implementation of the Baggy Bounds runtime for
SAFECode. The details are in 

http://research.microsoft.com/apps/pubs/default.aspx?id=101450

The implementation fails on x86_64 for programs that have byval
arguments. See LLVM bug, http://llvm.org/bugs/show_bug.cgi?id=6965

Also, support for safe CStdLib functions needs to be added.