Create prod3.tac