method all_attr_names =
    let svlist = call_method_array sv "all_attr_names" [] in
    list_of_svlist svlist