Fix robust list behavior
Reorganize platform-independent code in PAL