===> Cleaning for wabt-1.0.42