`0:,/(,"Hello, World!";$!10;0:`)