method
message =
string_of_sv (call_method sv
"message"
[])