assume.ll 610 Bytes