Function sizeof_serialized

fn sizeof_serialized<#uint N>(s: [uint<8>; N]) -> uint<8>