fn no_auth_bump(env: soroban_sdk::Env, n: u32) -> u32
fn write_with_address_auth(
env: soroban_sdk::Env,
addr: soroban_sdk::Address,
value: u32,
)
fn read_value(env: soroban_sdk::Env, addr: soroban_sdk::Address) -> u32