ASSERT            101 mtcp/restore_libc.c   ASSERT (major == 2);
ASSERT            240 mtcp/restore_libc.c    ASSERT (len >= sizeof(int));