[   56.814542][  T490] packetdrill (490) used greatest stack depth: 23488 bytes left