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.