[   55.123763] packetdrill (1266) used greatest stack depth: 12744 bytes left