--dump-infer --dont-run