Countries in the Muslim world generally have criminal codes influenced by French law or common law, and in some cases a combination of Western legal traditions. Saudi Arabia has never adopted a criminal code and Saudi judges still follow traditional Hanbali jurisprudence. In the course of Islamization campaigns, several countries (Libya, Pakistan, Iran, Sudan, Mauritania, and Yemen) inserted Islamic criminal laws into their penal codes, which were otherwise based on Western models. In some countries only "hudud" penalties were added, while others also enacted provisions for "qisas" (law of retaliation) and "diya" (monetary compensation). Iran subsequently issued a new "Islamic Penal Code". The criminal codes of Afghanistan and United Arab Emirates contain a general provision that certain crimes are to be punished according to Islamic law, without specifying the penalties. Some Nigerian states have also enacted Islamic criminal laws. Laws in the Indonesian province of Aceh provide for application of discretionary ("ta'zir") punishments for violation of Islamic norms, but explicitly exclude "hudud" and "qisas". Brunei has been implementing a "Sharia Penal Code", which includes provisions for stoning and amputation, in stages since 2014. The countries where "hudud" penalties are legal do not use stoning and amputation routinely, and generally apply other punishments instead.