Issue #31: Shorten GPL header
Issue #29: Towards tidy C code