sync GEN_progs from Luke