Document OVERLAP pragmas.