RotStar3_1: updated myrk4_ada to follow the change in WlIntegState