MBE1

attach code for execution
Major Section:  PROGRAMMING

The form (mbe1 exec logic) is equivalent to the forms (mbe :logic logic :exec exec) and (must-be-equal logic exec). See mbe.