syntaxconvert.ss now compiles.