[   57.550429][  T487] packetdrill (487) used greatest stack depth: 24808 bytes left