genprog reversed, need test update