Clarify some malloc size computations to simplify the proof that they
are safe. Remove some code associated with cygwin that is marked "#if 0". (tags: trunk)
↧