[   57.428408][  T487] packetdrill (487) used greatest stack depth: 23960 bytes left