[    9.534525] packetdrill (159) used greatest stack depth: 12768 bytes left