`var x: Ref` generates ``` 1 | var x: Ref ^^^^^^ Syntax Error: Modules and interfaces cannot have var members. ``` Whereas adding a semicolon: `var x: Ref;` leads to ``` Verification successful. ```