let arraylen_attr_name = "arraylen"