A simulator for distributed algorithms in the port-numbering model