This is the main executable