Add a Main.v file