Execute BODY (as a progn) with DEST as the current section or segment.
((&optional sb-assem::dest sb-assem::vop &key labels) &body sb-assem::body)
