The Viking portable library [62]