[  426.771514][ T2654] packetdrill (2654) used greatest stack depth: 23776 bytes left