Walter, what is the official way to return an attributed value?

XXX? foo()

{

    @Marked int i;

    return i;

}