topaz check -v --compiler rust main.tpz