class ErrString {
    String s = "unterminated;
}