x_4357_make_slack_dump_and_reset_x
