¹In pattern based macros there is an implicit call to new_mark at the point where the macro was defined; hence, the ’1 mark captures the environment where mk_plus_10 (expanded from mk_plus_n) is defined, which includes the global constant x.