[  565.578634][ T6547] packetdrill (6547) used greatest stack depth: 23888 bytes left