Various extensions to Silver.