Copyright header for testide.cpp