[   57.391365][  T489] packetdrill (489) used greatest stack depth: 23856 bytes left