[  461.347356][ T4155] packetdrill (4155) used greatest stack depth: 23904 bytes left