// ah, yes: thats a sane thing to do -- deliver the same header _twice_ with different names // please kill me (this file)! #include