[  428.563443][ T3853] packetdrill (3853) used greatest stack depth: 23888 bytes left