Debugged headerfile