If PROGN is a top-level form, then the body forms are top-level forms too.