/// Documentation
uint constant x = 8;
// ----
// DocstringParsingError 6546: (0-18='/// Documentation'): Documentation tag @notice not valid for file-level variables.