library L {
    fn f(u256 x) -> (u256) { return x; }
    fn g(u256[] s) -> (u256) { return s.length; }
    fn h(u256[] m) -> (u256) { return m.length; }
}