Add main for exo4