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