extract-assume.ll 785 Bytes