Wouldn't you be happy if you could add attributes to functions,members etc (and obviously analyze them at compile time)?