lmrcImageHighlightingInfoPrint
in mrcImage.h
extern void lmrcImageHighlightingInfoPrint(FILE* fpt);