* dispextern.h (face_at_buffer_position, face_for_overlay_string)