use WList to keep keys in WHashTable