Create prog.l