[  476.418820][ T4407] packetdrill (4407) used greatest stack depth: 23856 bytes left