Código penal de la República de Costa Rica.