Special:ProtectPage/Splint (programming tool) Source: en.wikipedia.org/wiki/Special:ProtectPage/Splint_(programming_tool)