[  448.079503][ T4011] packetdrill (4011) used greatest stack depth: 23904 bytes left