Looking into the bug found by @abakst
Looking into the bug found by @abakst

SRI-CSL/whole-program-llvm,travitch/whole-program-llvm,SRI-CSL/whole-program-llvm,travitch/whole-program-llvm,travitch/whole-program-llvm,SRI-CSL/whole-program-llvm,SRI-CSL/whole-program-llvm,travitch/whole-program-llvm,SRI-CSL/whole-program-llvm