[   60.281645][  T578] packetdrill (578) used greatest stack depth: 23920 bytes left