[   64.207558][  T575] packetdrill (575) used greatest stack depth: 23768 bytes left