Instead of SECRET being an extra argument (which probably works but wouldn't if useless argument dropping happened before flow analysis), I would say just make a new type to hold the `list' of functions.