Why initialized to `num_required_args`?