fn initialize(
env: soroban_sdk::Env,
admin: soroban_sdk::Address,
token_xlm: soroban_sdk::Address,
precio_ticket: i128,
)fn comprar_boleto(
env: soroban_sdk::Env,
comprador: soroban_sdk::Address,
numero_boleto: u32,
)fn reembolsar_boleto(
env: soroban_sdk::Env,
usuario: soroban_sdk::Address,
numero_boleto: u32,
)fn rescatar_fondos_huerfanos(
env: soroban_sdk::Env,
monto: i128,
destino: soroban_sdk::Address,
)