rename rop-cons to cons