Renamed from ugly main.