libFor.sol

library arithmetic {
    function add(uint _a, uint _b) returns (uint) {
        return _a + _b;
    }
}

contract C {
    using arithmetic for uint;
    
    uint sum;
    function sumUp(uint _a) {
        sum = _a.add(3);
    }
}