assume.ll 136 Bytes