(Foverlay_buffer): Add EXFUN.