(7.1) All explicitly exported variables are immutable in both the exporting and importing libraries. It is thus a syntax violation if an explicitly exported variable appears on the left-hand side of a set! expression, either in the exporting or importing libraries. (8.1) A <top-level body> is like a <library body> (see section 7.1), except that definitions and expressions may occur in any order.