On 1/6/2013 1:48 AM, Philippe Sigaud wrote: > Walter, what is the official way to return an attributed value? > > XXX? foo() > { > @Marked int i; > return i; > } > Values do not have attributes. Attributes are attached to symbols - not values or types.