On Fri, Dec 6, 2024 at 10:24 AM Kumar Kartikeya Dwivedi <memxor@xxxxxxxxx> wrote: > > I think Andrii has a good point here, this would be an entirely > plausible scenario, > and with summarization alone we would reject such freplace. Then, the user, > due to the lack of explicit tagging, will insert an extra helper call > that does nothing > just to indicate "invalidates all packets" side effect when it could > have been done explicitly. > So in effect they just explicitly declared their intent, not through a > tag, but through code. Exactly and that's how it should be done. Through the code. C is the language to do that. Magic tag is an extra language hack that people need to learn, remember, teach others, etc. We've introduced __arg_ctx and so far the only adopters were the programs where Andrii added it by himself. Anyone reading it has no idea what __arg* do. It's all magic. While C has clear meaning.