Compiler: annot primitive arguments, is it safe ?