@mutable struct HelloWorld { string<128> msg; };