topaz check -v --compiler self main.tpz