1 // but the file is needed for coltab to run
2 // without any warning or errors.
3
4
5 // ---END OF FILE---