library Lib {
    function f() { }
}
// ----
// Warning: (18-34): No visibility specified. Defaulting to "public". 
// Warning: (18-34): Function state mutability can be restricted to pure