See http://www.eda-twiki.org/cgi-bin/view.cgi/P1076/OptionalSemicolon and http://www.eda-twiki.org/cgi-bin/view.cgi/P1076/TopLCS2016_071b.