unable to /*@modifies @*/ function prototype without parameter name

[crisbon]

in strict mode function prototype with parameter name will produce warnings, while modifies requires function prototype to have the annotation as well, which makes it impossible to satisfy both requirements.