2009-07-09-ExtractBoolFromVector.ll 334 Bytes