[   76.245458][  T463] packetdrill (463) used greatest stack depth: 24080 bytes left