[   56.388508][  T490] packetdrill (490) used greatest stack depth: 23968 bytes left