[   56.421269][  T487] packetdrill (487) used greatest stack depth: 23968 bytes left