assume.ll 929 Bytes