library D { function double(uint self) internal pure returns (uint) { return 2*self; } }
contract C {
	using D for uint;
	function f(uint a) public pure {
		a.double();
	}
}
// ----