Main Zirkus (Extended Version)