fn increment(env: soroban_sdk::Env) -> u32
fn get(env: soroban_sdk::Env) -> u32
fn reset(env: soroban_sdk::Env)