I wonder why the following program works. In particular, why an exception is not thrown (see comment in