### Question:
KompileOptions implements Serializable { public String syntaxModule(FileUtil files) { if (syntaxModule == null) { return mainModule(files) + "-SYNTAX"; } return syntaxModule; }  String docStyle(); String mainModule(FileUtil files); String syntaxModule(FileUtil files); boolean strict(); @ParametersDelegate
    transient GlobalOptions global; @ParametersDelegate
    public OuterParsingOptions outerParsing; @Parameter(names="--backend", description="Choose a backend. <backend> is one of [coq|java|skala]. Each creates the kompiled K definition.")
    public String backend; @Parameter(names="--transition", listConverter=StringListConverter.class, description="<string> is a whitespace-separated list of tags designating rules to become transitions.")
    public List<String> transition; static final String DEFAULT_TRANSITION; @ParametersDelegate
    public Experimental experimental; }### Answer:
@Test public void testDefaultSyntaxModuleName() { parse("--main-module", "BAR", "foo.k"); assertEquals("BAR-SYNTAX", options.syntaxModule(files)); }