Add a new initializer.
Export currentName.
Reference a trace-MH object.
Parameterize seq_var_gen on the address.
Function to get the current address.
Address-based trace variable naming.
Test address-based trace variables.
Ignore outputs.
Prettier addresses.
Tracing if-statements.
Cleanup.
Operate the branch stack.