a::=~Hello world!
::=
a