Assertions for the Tcl Language. It would be nice to have a way to really and truly comment out assertions\(emnull procedures have a cost. There are problems with atomicity for data assertions: when should they be checked? Data checks on aggregates can be costly, especially in code that walks through them: turns linear algorithms into quadratic.

Late news on last paper: OAT has been renamed FATCAT.