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