method
all_attr =
let
svlist = call_method_array sv
"all_attr"
[]
in
assocs_of_svlist svlist