$ModuleNumber

$ModuleNumber: is the current “serial number” to be used for local module variables.

$ModuleNumber is incremented every time Module or Unique is called.
a Mathics session starts with $ModuleNumber set to 1.
You can reset $ModuleNumber to a positive machine integer, but if you do so, naming conflicts may lead to inefficiencies.

→ Begin