for cscope.out