[   45.648722][  T456] packetdrill (456) used greatest stack depth: 23768 bytes left