NXP-13025: return ordered lists instead of set