Is (TRUE exp) a legitimate alternative to (BLOCK exp T)? Or is it intended that a compiler might optimize away the evaluation of the exp. The manual says TRUE ignores its arguments, but since it is not a special form, it must evaluate them anyway. An optimizing compiler must presumably do likewise unless it is quite certain that there are no side-effects. -------