The entry point of this library is the module: Mavryk_client_demo_counter.
Mavryk_client_demo_counter