Export and test toAscList