Create prog.erl