library C {
    function f() view public {
        msg.value;
    }
}