fn increment(env: soroban_sdk::Env) -> u32
fn counter_key_len(env: soroban_sdk::Env) -> u32
fn counter_key_xdr(env: soroban_sdk::Env) -> soroban_sdk::Bytes