> The main problem with __assume is that it should never be used. > Literally, if you have to use it, then the code it refers to should > actually be commented out. > ps. This is a bit of a simplification - I should have stated, if the assumption is wrong, it can lead to dangerous code which breaks.