Códigos penal, ejecución de penas, ley de gracia