syntax:
	autosubst -f -s ucoq -v ge813 -allfv GAST.sig -o GAST.v
	autosubst -f -s ucoq -v ge813 -allfv CCAST.sig -o CCAST.v
