[   83.001814][  T492] packetdrill (492) used greatest stack depth: 24368 bytes left