pub fn verify_account_balance<F>(
    account_state_with_proof: &AccountStateWithProof,
    f: F
) -> Result<()>where
    F: Fn(u64) -> bool,