[   76.353100] packetdrill (2278) used greatest stack depth: 12648 bytes left