pub fn initialize_internal_contract_accounts(
    state: &mut State,
    addresses: &[Address]
) -> Result<()>