Use a main().