[iforgotpassword]

I think the idea is simply to

  typedef __nostring__ char* bytes;

And then use that type instead of annotating every single variable declaration.

[OskarS]

But you would still need to change it everywhere, right? Like, instead of changing the annotation everywhere you have to change the type everywhere. Doesn't seem like a huge difference to me.

[Animux]

There is a difference if the type is used inside a structure.

[OskarS]

Fair, good point.