assume.ll 165 Bytes