[   56.404832][  T489] packetdrill (489) used greatest stack depth: 23968 bytes left