Implement init_vars(func17) for alice