BUT WHAT IS main, REALLY?