[  140.551791][  T577] packetdrill (577) used greatest stack depth: 23256 bytes left