For example, it would be cool to be able to mark a pure function with G_GNU C_CONST or G_GNU C_PURE. As far as I know vala now automatically puts them for get_type. I guess it's best to implement this as ccode code attribute.
get_type