propagate ident_list as vector