Stratego/XT Manual: Choose Format