[   58.127533][  T602] packetdrill (602) used greatest stack depth: 23112 bytes left