williamr@0: cassert