activation record numbers do not get reset on each run

[derrell]

Although the activation record for main() is always record 0, the subsequent activation records are assigned increasing numbers, and the counter for those subsequent activation records does not currently (ever?) get reset.