[   56.221743][  T479] packetdrill (479) used greatest stack depth: 23968 bytes left