master/compilers-EDAN65: notes on contrib attribs