test for a current record to be processed or for more saved pointers

while((ptr ! = null) | | (!empty(&s)))