[  525.031033][ T5216] packetdrill (5216) used greatest stack depth: 23992 bytes left