[   76.638886][  T458] packetdrill (458) used greatest stack depth: 24600 bytes left
[   83.583837][  T494] packetdrill (494) used greatest stack depth: 23680 bytes left