Fix a function declaration for the mic code.