cran_proof master