assume.ll 566 Bytes