Initial ReadOk 0 Read
Sock2RecvMsg() shall return 0 and [...] shall return 0 and
SockRecvMsg() shall return 0 and [...] shall return 0 and
Initial New 0 Deriving
4 ARRAY [0..7] OF BYTE
Initial SUNDAY 0 MONDAY
Initial NO_ERROR 0
ObjectIterator.Current is 0).