processes_busy variable duplicated?

[Gunilla Arendt]

Thank you for pointing this out. The question has been
forwarded to the responsible designers.

Regards,

Gunilla, Erlang/OTP

Romain Lenglet wrote:
> Hi,
> 
> There are two global variables with the same name 
> (processes_busy) in the emulator: in erl_process.c and in 
> benchmark.{c,h}.
> They seem to have the same purpose. Shouldn't the processes_body 
> variable declaration in erl_process.c be removed?
>