module Soroban::Function0