Add file header to split.hh.