Create def_ex3.v