>When you write VAR a:INTEGER=3B >you make the human proofreading your code have to work much harder >to do the data/control flow analysis to make sure you didn't >use the uninitialized value. And yes, that's precisely the point!