EXTENSIONS @> EXTENSIONS @>

no special info, see general notes

your loader code P4_SXco