Add full license for debug.h