overlays/src/overlay_extension library