new headerfile for proptest, hardly any modifications, just special characters removed
new headerfile for proptest, hardly any modifications, just special characters removed

daq-tools/kotori,daq-tools/kotori,zerotired/kotori,zerotired/kotori,zerotired/kotori,daq-tools/kotori,daq-tools/kotori,zerotired/kotori,zerotired/kotori,daq-tools/kotori,zerotired/kotori,daq-tools/kotori,daq-tools/kotori