Xi's main method is now variable-argument