PrintHeaderR	 183 src/vfldisol.c	PrintHeaderR("DPI_X	", vfdata[VF_OL_HEADER_INDEX_DPI_X]);
PrintHeaderR	 184 src/vfldisol.c	PrintHeaderR("DPI_Y	", vfdata[VF_OL_HEADER_INDEX_DPI_Y]);
PrintHeaderR	 185 src/vfldisol.c	PrintHeaderR("POINT_SIZE", vfdata[VF_OL_HEADER_INDEX_POINT_SIZE]);