pub fn execute(
  provider: provider.Provider,
  addresses: List(String),
  file: option.Option(String),
) -> Result(Nil, types.GleethError)