method
set_max_size v =
call_method_void sv
"max_size"
[sv_of_int v]