Implicit PROGN.