will fix the ExampleMain later