method
timeout =
int_of_sv (call_method sv
"timeout"
[])