let
arraylen_attr_name =
"arraylen"