[  484.986533][ T4142] packetdrill (4142) used greatest stack depth: 24088 bytes left