simulator.py: Handle several cores registering the same plusarg