[   76.357425][  T458] packetdrill (458) used greatest stack depth: 24080 bytes left
[   83.320303][  T494] packetdrill (494) used greatest stack depth: 23968 bytes left