skip specifier for value parameters (it's the default)
Refactor generation of runtime annotations
refactor annotation generation