Total Order Message Sending Simulator for the Distributed System Course