[   24.646583] packetdrill (481) used greatest stack depth: 12616 bytes left