Create prog_count.v