[  133.676705][ T1255] packetdrill (1255) used greatest stack depth: 23648 bytes left